theory
/
it.unibo.tuprolog.collections
/
RetrieveResult
/
Success
/
Success
Success
fun <
C
:
ClauseCollection
>
Success
(collection:
C
, clauses:
List
<
Clause
>)
Content copied to clipboard