theory/it.unibo.tuprolog.theory/Theory/rules

rules

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

Only clauses that are Rules