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

firstClause

open override val firstClause: Nothing?
Content copied to clipboard

Gets the first successfully retracted clause