Package it.unibo.tuprolog.dsl.theory

Types

PrologScopeWithTheories
Link copied to clipboard
interface PrologScopeWithTheories : PrologScopeWithUnification
Content copied to clipboard
PrologScopeWithTheoriesImpl
Link copied to clipboard
class PrologScopeWithTheoriesImpl(unificator: Unificator) : PrologScopeWithTheories, PrologScope, Unificator
Content copied to clipboard

Functions

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