Логическое программирование

       

Отрицание определяется через отсечение


not (P) :-

     P, !, fail;

     true.

r(a).

g(b).

p(X) :- not r(X).

?- g(X),  p(X).

X =  b

Yes

?- p(X),  g(X).

No

Порядок целей повлиял на работу программы. В первом случае, когда вызывается подцель p(X), переменная X уже конкретизована значением b. Во втором случае p(X) вызывается со свободной переменной.

Что касается трудностей Пролога, то подобное возникает и в других языках.



Содержание раздела