theory/it.unibo.tuprolog.theory/MutableTheory/retract

retract

abstract override fun retract(clause: <ERROR CLASS>): RetractResult<MutableTheory>
Content copied to clipboard
abstract override fun retract(clauses: Iterable<<ERROR CLASS>>): RetractResult<MutableTheory>
Content copied to clipboard
abstract override fun retract(clauses: Sequence<<ERROR CLASS>>): RetractResult<MutableTheory>
Content copied to clipboard
open override fun retract(head: <ERROR CLASS>): RetractResult<MutableTheory>
Content copied to clipboard

Tries to delete a matching clause from this theory