Nächste Seite: Aufgabe 38 Vorige Seite: Aufgabe 36

Aufgabe 37

a. Beweise, daß jedes Hornklauselprogramm ein kleinstes Modell hat.

Hinweis: Zeige, daß, wenn und zwei Modelle für ein Hornklauselprogramm sind, dann auch ein Modell für ist.

b. Wir betrachten ein Alphabet, indem neben den Konstanten (leere Liste), und nur noch das zweistellige Funktionssymbol (Listenkonstruktor) und die Variablen vorkommen. Gib das kleinste Modell für das nachfolgende Programm an.

c. Gilt Aussage a. auch für beliebige Klauselmengen? Begründung!