theory/it.unibo.tuprolog.theory/Theory/directives

directives

open val directives: Iterable<<ERROR CLASS>>
Content copied to clipboard

Only clauses that are Directives