Повторение и откат

repetive:-

<предикаты>,

fail.

Встроенный предикат fail (неудача) вызывает возврат (откат), так что предикаты выполняются еще раз.

Пример:

parent(pam,bob).

parent(tom,bob).

parent(tom,lis).

parent(bob,ann).

parent(bob,pat).

parent(pat,jim).

Как распечатать все пары?

everybody:-

parent(X,Y),

write(X),write(' есть родитель '),write_ln(Y),

fail.

everybody.

?- everybody.

pam есть родитель bob

tom есть родитель bob

tom есть родитель lis

bob есть родитель ann

bob есть родитель pat

pat есть родитель jim

Yes