retractAll

abstract override fun retractAll(clause: Clause): RetractResult<MutableTheory>
Content copied to clipboard
open override fun retractAll(head: Struct): RetractResult<MutableTheory>
Content copied to clipboard

Tries to delete all matching clauses from this theory