theory/it.unibo.tuprolog.theory/RetractResult/Success/firstClause

firstClause

open override val firstClause: <ERROR CLASS>
Content copied to clipboard

Gets the first successfully retracted clause