theory
/
it.unibo.tuprolog.collections
/
RetrieveResult
/
Success
/
clauses
clauses
open override val
clauses
:
List
<
Clause
>
Content copied to clipboard