Pro program v Prologu
p(X):- q(Y). q(X):- p(Y). p(a). p(b). p(c).
a cíl ?-p(Z). platí

volání cíle vede k zacyklení

volání cíle uspěje jen jednou, výsledkem je Z=a

volání cíle uspěje opakovaně (po zadaném středníku) postupně s výsledky Z=a; Z=b; Z=c

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
142