PrologWithUnification

interface PrologWithUnification: Prolog, 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> PrologWithUnification.scope(function: PrologWithUnification.()->R): R

Receiver

Name Description
PrologWithUnification

Parameters

Name Description
function: PrologWithUnification.()->R

ReturnValue

Name Description
R

rule

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

Receiver

Name Description
PrologWithUnification

Parameters

Name Description
function: PrologWithUnification.()->Term

ReturnValue

Name Description
Rule

fact

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

Receiver

Name Description
PrologWithUnification

Parameters

Name Description
function: PrologWithUnification.()->Term

ReturnValue

Name Description
Fact

CompanionObject

PrologWithUnification

interface PrologWithUnification: Prolog, Unificator, Any

Methods

empty

fun empty(): PrologWithUnification

ReturnValue

Name Description
PrologWithUnification

of

fun of(unificator: Unificator): PrologWithUnification

Parameters

Name Description
unificator: Unificator

ReturnValue

Name Description
PrologWithUnification