theory
/
it.unibo.tuprolog.theory
/
RetractResult
/
Success
/
clauses
clauses
open override val
clauses
:
Iterable
<
Clause
>
Content copied to clipboard