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

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

Пример:

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.