Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...

AUFGABE 5.
a) Gegeben sei das folgende Hornklauselprogramm F :
(1) {A(x, 0, x)}
(2) {A(x, s(y), s(z)), ¬A(x, y, z)}
(3) {Q(0, 0)}
(4) {Q(s(0), s(0))}
(5) {Q(s(x), z), ¬Q(x, y), ¬A(s(x), y, z)}
Bestimmen Sie eine erfolgreiche Rechnung des Programms F für die Zielklausel
¬Q(s(s(0)), z). Was ist das Ergebnis dieser Rechnung
b) Gegeben sei das folgende Hornklauselprogramm K:
(1) {G(s(x), 0)}
(2) {G(s(x), s(y)), ¬G(x, y)}
Bestimmen Sie eine erfolgreiche Rechnung des Programms K für die Zielklausel
¬G(z, s(0)) und interpretieren Sie das Ergebnis.
9