Logik:Klausuren/25.07.2003/8 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung
Betrachten Sie das folgende definite Programm $ \mathcal{P} $ über der Sprache $ \mathcal{L}(\{ p/2 \},\{ f/1, g/1 \}, \{ c \}) $
$ p(c,c) \leftarrow $
$ p(f(X), f(Y)) \leftarrow p(X, Y) $
$ p(g(X), c) \leftarrow $
Wir benutzen die Notation $ F^n(x) $ als Abkürzung für $ F(F(\dots (x)\dots )) $, wobei das Symbol $ F $ genau n-mal vorkommt.
a. Geben Sie $ T_P^3(\{ p(g(c), f(c))\}) $ an.
b. Geben Sie das kleinste Herbrand-Modell von $ \mathcal{P} $ an.
