retract

Removes the first clause in the dynamic knowledge base unifiable with clause, as retract/1 would.

Removes the first clause in the dynamic knowledge base whose head unifies with fact.