retract

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

Tries to delete a matching clause from this theory

abstract override fun retract(clauses: Iterable<Clause>): RetractResult<MutableTheory>
Content copied to clipboard
abstract override fun retract(clauses: Sequence<Clause>): RetractResult<MutableTheory>
Content copied to clipboard

Tries to delete the matching clauses from this theory