theory/it.unibo.tuprolog.theory/Theory/clauses

clauses

abstract val clauses: Iterable<<ERROR CLASS>>
Content copied to clipboard

All Clauses in this theory