PrologWithUnificationImpl

class PrologWithUnificationImpl: PrologWithUnification, Prolog, Unificator, Any

Constructors

<init>

constructor()

<init>

constructor(unificator: Unificator)

Parameters

Name Description
unificator: Unificator

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