UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG

1 eine Grammatik entwickeln will, muß zunächst die Syntax und andere Eigenschaften der Sprache lernen. Außerdem ist er in seinen Ausdrucksmöglichkeiten auf die Elemente der formalen Sprache beschränkt. Solche Sprachen besitzen meist nur gerade die Funktionen und Datenstrukturen, die unbedingt zur Behandlung einer Grammatik nötig sind, aber sie besitzen nicht die Mächtigkeit einer allgemeinen Programmiersprache. Der Ansatz von Covington (1989) versucht, diese Nachteile zu beseitigen: Covington hat die Syntax von PROLOG so erweitert, daß Merkmalstrukturen leicht formuliert werden können. Alle PROLOG-Möglichkeiten bleiben erhalten. Der PROLOG-Interpreter braucht nicht verändert zu werden. Covington nennt sein System GULP ("Graph Unification Logic Programming"). Beim Einlesen von Klauseln in PROLOG aus einer Datei werden Merkmalstrukturen, für die eine besondere Schreibweise eingeführt wird, in ein internes Format, sogenannte Wertlisten (englisch "value lists"), überführt. Dadurch wird die Unifikation von Merkmalstrukturen auf die in PROLOG schon vorhandene Unifikation von Termen zurückgeführt, ohne daß zusätzlicher Code in die Klauseln eingefügt werden muß.