Prädikat control in Prolog

Haben eine Neugier bezogen auf Prolog-Prädikat Kontrolle.

Angeblich habe ich ein Prädikat f(A,X) und g(B).

f(A,X):- a,b,c, g(X).
g(B):- true.

a - returns true
b - returns true.
c - returns false.
where a,b and c are random predicates.

Wie kann ich weiterhin bewerten g(X) im Prädikat f(A,X) wenn c false zurückgibt?

InformationsquelleAutor Cristina | 2010-11-06
Schreibe einen Kommentar