theory
/
it.unibo.tuprolog.theory
/
Theory
/
clauses
clauses
abstract val
clauses
:
Iterable
<
Clause
>
Content copied to clipboard
All
Clause
s in this theory