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,a,ella,él],S,L).
Words: le gusta a ella él
Initial WS: él ella_a appl_θ gustar_appl:θ v_gustar:pres INFL_v:3sg le
Initial WS: él ella_a appl_θ:le gustar_appl:θ v_gustar:pres INFL_v:3sg
INT/EXT: {C, {INFL_v:3sg, {v_gustar:pres, {{él, ella_a}, {gustar_appl:θ, {appl_θ:le, pro__3sg-_544}}}}}}
EXT: {él,y,[a,ella]} 3sg-m pres gustar cl_le
Spellout: {él,y,[a,ella]} le gusta
Blocked: inconsistent with input!
EXT: 3sg-m pres gustar {él,y,[a,ella]} cl_le
Spellout: le gusta {él,y,[a,ella]}
Blocked: inconsistent with input!
INT/EXT: {C, {INFL_v:3sg, {v_gustar:pres, {ella_a, {gustar_appl:θ, {appl_θ:le, él}}}}}}
Error: Case: object "él" not DAT
Error: Case: object "él" not DAT
Error: Case: object "él" not DAT
INT/EXT: {C, {INFL_v:3sg, {v_gustar:pres, {él, {gustar_appl:θ, {appl_θ:le, ella_a}}}}}}
EXT: él 3sg-m pres gustar cl_le a ella
Spellout: él le gusta a ella
Blocked: inconsistent with input!
EXT: 3sg-m pres gustar él cl_le a ella
Spellout: le gusta él a ella
Blocked: inconsistent with input!
EXT: a ella 3sg-m pres gustar él cl_le
Spellout: a ella le gusta él
Blocked: inconsistent with input!
false.
103 ?- report.
REPORT LENGTH: 58
true.