retract(X). - Удаляет из логической программы первое предложение вида X.
X
Терм
Примеры
goal: retract(a(1)).
Нет
program: a(1). goal: retract(a(1)).
Да
program: a(1). a(1).
a(1).
program: a(2). a(2). a(1).
a(2). a(2).
program: a(1). a(2). a(2).
goal: retract(a(X)).
a(2). a(2). X=1