theory
/
it.unibo.tuprolog.theory
/
Theory
/
rules
rules
open val
rules
:
Iterable
<
Rule
>
Content copied to clipboard
Only
clauses
that are
Rule
s