retractall(X).
 

retractall(X). - Удаляет из логической программы все предложения вида X

X

Терм

 

Примеры

goal: retractall(a(1)).

Да

program:
a(1).
a(2).

goal: retractall(a(1)).

a(2).
Да

program:
a(1).
a(2).

goal: retractall(a(X)).

Да

program:
a(1).
a(2).

goal: retractall(a(3)).

Нет