06.10. Parser (Zusatzaufgabe)

Auf der letzten Folie von Foliensatz 4 findest du eine Grammatik, mit der du Ableitungsbäume auf ihre Wohlgeformtheit testen kannst. Hier im Kapitel 6 haben wir gesehen, wie wir das Prädikat append/3 in einer Grammatik zur Generierung von Sätzen einsetzen können. Verbinde beide Ansätze zu einem Parser: Ziel ist ein zweistelliges Prädikat parser/2, das gelingt, wenn das erste Argument ein grammatischer Satz in Form einer Wortliste ist und das zweite der Ableitungsbaum dieses Satzes.

?- s([eine, maus, jagt, viele, katzen],
      s(np(d(eine), n(maus)), vp(v(jagt), np(d(viele), n(katzen))))).
true.