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

Success

fun <T : Theory> Success(theory: T, clauses: Iterable<<ERROR CLASS>>)
Content copied to clipboard