theory/it.unibo.tuprolog.theory/Theory/retract

retract

abstract fun retract(clause: <ERROR CLASS>): RetractResult<Theory>
Content copied to clipboard
open fun retract(head: <ERROR CLASS>): RetractResult<Theory>
Content copied to clipboard

Tries to delete a matching clause from this theory


abstract fun retract(clauses: Iterable<<ERROR CLASS>>): RetractResult<Theory>
Content copied to clipboard
abstract fun retract(clauses: Sequence<<ERROR CLASS>>): RetractResult<Theory>
Content copied to clipboard

Tries to delete the matching clauses from this theory