theory

abstract val theory: T
Content copied to clipboard

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