code$ swipl -s code_Spanish.prolog 

% Janus 1.5.2 embeds Python 3.13.13 (main, Apr  8 2026, 18:23:14) [Clang 21.0.0 (clang-2100.0.123.102)]

Manual & tutorial: https://sandiway.arizona.edu Sandiway Fong (2024-2026)

Run: ?- parse(List,SO,L). (; for more answers)

  List = [..words] (input), SO,L = syntactic object, [..] spellout (output)

See derivation: ?- report. ?- graph. (<- after parse/3) ?- summary. (short) 

  for a long report ?- retract(no_fill).

LEX expansion: ⒜ WordNet: ?- useMorphy. (noMorphy) 

  assert/retract/?- : use_morphy(C), for C={v,n,a,r}. ⒝ edit lex.prolog

  ?- addNoun(Word) (addTr/addUrg/addUnacc/addAdj/addPrep).

Welcome to SWI-Prolog (threaded, 64 bits, version 10.0.2)

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.

Please run ?- license. for legal details.


For online help and background, visit https://www.swi-prolog.org

For built-in help, use ?- help(Topic). or ?- apropos(Word).


% Interactive session; added `.` to Python `sys.path`

101 ?- parse([le,gusta,él],S,L).


Words: le gusta él 

Initial WS: él  appl_θ  gustar_appl:θ  v_gustar:pres  INFL_v:3sg  le  

Initial WS: él  appl_θ:le  gustar_appl:θ  v_gustar:pres  INFL_v:3sg  

INT/EXT: {C, {INFL_v:3sg, {v_gustar:pres, {él, {gustar_appl:θ, {appl_θ:le, pro__3sg-_444}}}}}}

EXT: él 3sg-m pres gustar cl_le 

Spellout: él le gusta 

Blocked: inconsistent with input!

EXT: 3sg-m pres gustar él cl_le 

Spellout: le gusta él 

Parse found! 

S = {C, {INFL_v:3sg, {v_gustar:pres, {él, {gustar_appl:θ, {appl_θ:le, pro__3sg-_}}}}}},

L = [le,gusta,él] ;


INT/EXT: {C, {INFL_v:3sg, {v_gustar:pres, {él, {gustar_appl:θ, {appl_θ:le, él}}}}}}

Error: Case: object "él" not DAT

Error: Case: object "él" not DAT

Error: Case: object "él" not DAT

false.


103 ?- report.


REPORT LENGTH: 28

true.