Как я могу написать следующее правило в PROLOG: , если P, а не Q
Я понимаю, что вы можете легко написать, если P тогда Q предикаты, такие как q(X) :- p(X)
, но как вы можете отменить предикат q/1
? Я не хочу определять новые предикаты с другой семантикой, например non_q/1
.