 |
|||
| HSG |
|
Prozedurale Semantik
Das von Prolog verwendete Berechnungskonzept folgt sehr wohl gewissen Algorithmen. Ein Prolog-Programm hat also eine prozedurale Semantik wie die beiden folgenden von der deklarativen Semantik gleichen Programme zeigen.
p(X):-q(X). q(X):-p(X). q(a). |
p(X):-q(X). q(a). q(X):-p(X). |
Die Anfrage
?- p(Y). |