theory
/
it.unibo.tuprolog.collections
/
RetrieveResult
/
firstClause
first
Clause
abstract val
firstClause
:
Clause
?
Content copied to clipboard