theory/it.unibo.tuprolog.theory/RetractResult/Success/clauses

clauses

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