theory/it.unibo.tuprolog.theory/MutableTheory/retractAll

retractAll

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

Tries to delete all matching clauses from this theory