CL2: Übungsaufgabe 6

Anmerkung zur Abgabe: die gesamte Hausaufgabe möglichst als EINE Datei abschicken. Für mich ist es außerdem eher einfacher, wenn die Lösungen direkt in die E-mail hineinkopiert werden, statt als Attachment verschickt zu werden.

Folgendes sei die Syntax eines Auschnittes der Prädikatenlogik:

Es gelten folgende Bildungsregeln:

Aufgabe

Schreiben sie eine Prolog-Grammatik für diesen Ausschnitt aus der Prädikatenlogik (im DCG-Format) - also keine Grammatik für deutsche Sätze, die Übersetzungen dieses Logikfragments sind, sondern - viel einfacher - eine Grammatik, die genau die Formeln erzeugt, die durch obige Regeln beschreiben werden.