Operationale Semantik

Bedeutung eines Programmes P wird durch Ableitungen (Resolution) bestimmt.

Wenn [P] = false abgeleitet werden kann, dann heißt die Anfrage des Programms erfolgreich:

Dann gibt es (wenigstens) eine Belegung der Variablen der Anfrage, mit denen der Widerspruch begründet wird.

Programm : p(a,b). p(b,c). 
           p(X,Z) :- p(X,Y), p(Y,Z).
Anfrage  : ?- p(a,X).
Antworten: X = b; X = c.



Johannes Waldmann 2011-01-18