Logik:Klausuren/25.07.2003/8 Aufgabe

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.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 25.07.2003