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

theory

open override val theory: T
Content copied to clipboard

The result always present value, is the clause database resulting from the operation execution