PrologScopeWithUnification

interface PrologScopeWithUnification: PrologScope, Unificator, Any

Methods

mguWith

open infix fun Any.mguWith(other: Any): Substitution

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Substitution

matches

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

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Boolean

unifyWith

open infix fun Any.unifyWith(other: Any): Term?

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Term?

mgu

open fun mgu(term1: Any, term2: Any, occurCheckEnabled: Boolean): Substitution

Parameters

Name Description
term1: Any
term2: Any
occurCheckEnabled: Boolean

ReturnValue

Name Description
Substitution

match

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

Parameters

Name Description
term1: Any
term2: Any
occurCheckEnabled: Boolean

ReturnValue

Name Description
Boolean

unify

open fun unify(term1: Any, term2: Any, occurCheckEnabled: Boolean): Term?

Parameters

Name Description
term1: Any
term2: Any
occurCheckEnabled: Boolean

ReturnValue

Name Description
Term?

Extensions

scope

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

Receiver

Name Description
PrologScopeWithUnification

Parameters

Name Description
function: PrologScopeWithUnification.()->R

ReturnValue

Name Description
R

rule

fun PrologScopeWithUnification.rule(function: PrologScopeWithUnification.()->Term): Rule

Receiver

Name Description
PrologScopeWithUnification

Parameters

Name Description
function: PrologScopeWithUnification.()->Term

ReturnValue

Name Description
Rule

fact

fun PrologScopeWithUnification.fact(function: PrologScopeWithUnification.()->Term): Fact

Receiver

Name Description
PrologScopeWithUnification

Parameters

Name Description
function: PrologScopeWithUnification.()->Term

ReturnValue

Name Description
Fact

CompanionObject

PrologScopeWithUnification

interface PrologScopeWithUnification: PrologScope, Unificator, Any

Methods

empty

fun empty(): PrologScopeWithUnification

ReturnValue

Name Description
PrologScopeWithUnification

of

fun of(unificator: Unificator): PrologScopeWithUnification

Parameters

Name Description
unificator: Unificator

ReturnValue

Name Description
PrologScopeWithUnification