not(X).
not(X).
- Отрицает цель
X
.
X
Терм
Примеры
goal:
not(a(1)).
Да
program:
a(1).
goal:
not
(a(1)).
Нет
program:
a(1).
goal:
not
(a(X)).
Нет
goal:
not
(a(X)).
Да