dsl-theory
/
it.unibo.tuprolog.dsl.theory
/
PrologScopeWithTheories
/
theory
theory
open fun
theory
(vararg clauseFunctions:
PrologScope
.() ->
Any
):
Theory
Content copied to clipboard