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

Package it.unibo.tuprolog.dsl.theory

Types

Link copied to clipboard
interface PrologScopeWithTheories
Content copied to clipboard
Link copied to clipboard
class PrologScopeWithTheoriesImpl(unificator: <ERROR CLASS>) : PrologScopeWithTheories
Content copied to clipboard

Functions

Link copied to clipboard
fun <R> prolog(function: PrologScopeWithTheories.() -> R): R
Content copied to clipboard