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