dsl-unify/it.unibo.tuprolog.dsl.unify

Package it.unibo.tuprolog.dsl.unify

Types

Link copied to clipboard
interface PrologScopeWithUnification
Content copied to clipboard
Link copied to clipboard
class PrologScopeWithUnificationImpl(unificator: <ERROR CLASS>) : PrologScopeWithUnification
Content copied to clipboard

Functions

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