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

theory

abstract val theory: T
Content copied to clipboard

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