Package it.unibo.tuprolog.dsl.unify

Types

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

Functions

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