solve-problog/it.unibo.tuprolog.solve.problog.lib.knowledge/MutableProblogTheory/retract

retract

abstract override fun retract(clause: Clause): RetractResult<MutableProblogTheory>

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

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

open override fun retract(head: Struct): RetractResult<MutableProblogTheory>