retractAll

abstract fun retractAll(clause: Clause): RetractResult<Theory>

Removes every clause in the dynamic knowledge base unifiable with clause, as retractall/1 would.


abstract fun retractAll(fact: Struct): RetractResult<Theory>

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