it.unibo.tuprolog.dsl.unify

package it.unibo.tuprolog.dsl.unify

Methods

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

prolog

fun <R> prolog(function: PrologWithUnification.()->R): R

Parameters

Name Description
function: PrologWithUnification.()->R

ReturnValue

Name Description
R