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

       

Недостатки отсечения


Нарушается соответствие между процедурным и декларативным смыслами программы.

Пример:

p :- a, b.

p :- c.

Декларативный смысл:   p <=> (a  and  b)  or  c.

p :-  a, !, b.

p :-  c.

Декларативный смысл:    (a  and b) or ( not a  and c) <=> p

p :- c.

p:-  a, b.

Декларативный смысл:   p <=> (a  and  b)  or  c.



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