Gegeben ist folgender Ausschnitt des Englischen:
George is persuing Saddam
Saddam is laughing
George catches Saddam
Saddam is crying
George is laughing
Folgende Formeln sollen die Übersetzung der Sätze in die Prädikatenlogik sein:
verfolgen(george,saddam).
lachen(saddam)
fangen(george,saddam)
weinen(saddam)
lachen(george)
Aufgabe:
a) Schreiben Sie eine Prologgrammatik, die diese Sätze (und strukturell gleiche) produziert.
b) Integrieren Sie die Bildung der semantischen Formel in die Grammatik.
Ergebnis sollte etwa sein:
?- s(Formel,[george,catches,saddam],[]).
Formel = fangen(george,saddam).
YES