Package it.unibo.tuprolog.dsl.unify

Types

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

Functions

fact
Link copied to clipboard
fun PrologScopeWithUnification.fact(function: PrologScopeWithUnification.() -> Term): Fact
Content copied to clipboard
prolog
Link copied to clipboard
fun <R> prolog(function: PrologScopeWithUnification.() -> R): R
Content copied to clipboard
rule
Link copied to clipboard
fun PrologScopeWithUnification.rule(function: PrologScopeWithUnification.() -> Term): Rule
Content copied to clipboard
scope
Link copied to clipboard
fun <R> PrologScopeWithUnification.scope(function: PrologScopeWithUnification.() -> R): R
Content copied to clipboard