06.10. Parser

Nimm die Grammatik aus Aufgabe 06.01. und erweitere sie um ein zusätzliches Argument für den Ableitungsbaum: Ziel ist ein zweistelliges Prädikat s/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.