retract

abstract override fun retract(clause: Clause): RetractResult<MutableTheory>
open override fun retract(head: Struct): RetractResult<MutableTheory>

Tries to delete a matching clause from this theory

abstract override fun retract(clauses: Iterable<Clause>): RetractResult<MutableTheory>
abstract override fun retract(clauses: Sequence<Clause>): RetractResult<MutableTheory>

Tries to delete the matching clauses from this theory