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

PrologScopeWithUnification

interface PrologScopeWithUnification

Types

object Companion

Functions

open fun match( term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Boolean

open infix fun Any.matches(other: Any): Boolean

open fun mgu( term1: Any, term2: Any, occurCheckEnabled: Boolean = true): <ERROR CLASS>

open infix fun Any.mguWith(other: Any): <ERROR CLASS>

open fun unify( term1: Any, term2: Any, occurCheckEnabled: Boolean = true): <ERROR CLASS>?

open infix fun Any.unifyWith(other: Any): <ERROR CLASS>?

Inheritors

PrologScopeWithUnificationImpl

Extensions

fun PrologScopeWithUnification.fact(function: PrologScopeWithUnification.() -> <ERROR CLASS>): <ERROR CLASS>

fun PrologScopeWithUnification.rule(function: PrologScopeWithUnification.() -> <ERROR CLASS>): <ERROR CLASS>

fun <R> PrologScopeWithUnification.scope(function: PrologScopeWithUnification.() -> R): R