Wende den Inferenz-Prozess mit Hilfe eines Ableitungsbaumes an! Ist die Anfrage eine logische Konsequenz des Programms?
Gegeben:
foo(1). baz(1,2). baz(1,3). gak(3).
foo(X) :- baz(X,Y), gak(Y).
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.