codesamples/Prolog/transcript.txt

?- sentence(T,[the,boy,runs],[]).
T = sentence(np(det(the), noun(boy)), vp(verb(runs))) .

?- sentence(T,[girls,like,an,apple],[]).
T = sentence(np(noun(girls)), vp(verb(like), np(det(an), noun(apple)))) .

?- sentence(T,[a,government,that,conscripts,people,is,evil],[]).
T = sentence(np(det(a), noun(government), rel(rel(that), vp(verb(conscripts), np(noun(people))))), vp(verb(is), adj(evil))) .

?- sentence(T,[the,boy,whom,the,girl,likes,likes,a,watermelon],[]).
T = sentence(np(det(the), noun(boy), rel(rel(whom), np(det(the), noun(girl)), vp(verb(likes)))), vp(verb(likes), np(det(a), noun(watermelon)))) .

?- sentence(T,[the,boy,run],[]).
false.

?- sentence(T,[girls,likes,an,apple],[]).
false.

?- sentence(T,[a,government,that,conscripts,people,are,evil],[]).
false.

?- sentence(T,[the,boy,who,the,girl,likes,likes,a,watermelon],[]).
false.

?- sentence(T,[the,boy,which,the,girl,likes,likes,a,watermelon],[]).
false.

?- sentence(T,[the,government,conscripts],[]).
false.

?- sentence(T,[the,girl,runs,the,boy],[]).
false.

?- prlogic([all,boys,run],L).
L = all(x17, boys(x17)=>run(x17)) .

?- prlogic([all,boys,like,all,watermelons,that,contain,some,divine,flavor],L).
L = all(x18, boys(x18)=>like(x18, all(x19, watermelons(x19)&contain(x19, exists(x20, flavor(x20)&divine(x20)))))) .

?- prlogic([some,boy,eats,some,apple],L).
L = exists(x21, boy(x21), eats(x21, exists(x22, apple(x22)))) .

?- prlogic([some,governments,conscript,some,pacifist,people],L).
L = exists(x23, governments(x23), conscript(x23, exists(x24, people(x24)&pacifist(x24)))) .

?- prlogic([all,governments,that,conscript,some,pacifist,people,are,evil],L).
L = all(x25, governments(x25)&conscript(x25, exists(x26, people(x26)&pacifist(x26)))=>evil(x25)) .