retractAll

Tries to delete all the clauses in this theory unifying against the given clause

Tries to delete all the clauses whose head unifies against the given head; equivalent to retractAll(Rule.of(head, _))