dsl-theory/it.unibo.tuprolog.dsl.theory/PrologScopeWithTheories/theory

theory

open fun theory(vararg clauseFunctions: <ERROR CLASS>.() -> Any): <ERROR CLASS>
Content copied to clipboard