theory/it.unibo.tuprolog.theory/Theory/retractAll

retractAll

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

Tries to delete all matching clauses from this theory