Arbeitsweise	Grundlagen Unifikation Backtracking Resolution Pfad: Startseite / Fächer / Informatik / Prolog / Arbeitsweise
Autor: mk 22.04.2007 17:01:02 621

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).

zeigt ein völlig unterschiedliches Verhalten. Bitte ausprobieren!

lokal