Inferenz-Prozess (Baum)

Inferenz-Prozess (Baum)

Frage:

Wende den Inferenz-Prozess mit Hilfe eines Ableitungsbaumes an! Ist die Anfrage eine logische Konsequenz des Programms? 

Gegeben:

  • Anfrage: ?- foo(X).
  • Programm:

foo(1). baz(1,2). baz(1,3). gak(3).
foo(X) :- baz(X,Y), gak(Y).

  • Unifikator: $\theta = \{\}$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.