PrologWithTheories

interface PrologWithTheories: PrologWithUnification, Any

Methods

theoryOf

open fun theoryOf(vararg clause: Clause): Theory

Parameters

Name Description
vararg clause: Clause

ReturnValue

Name Description
Theory

theory

open fun theory(vararg clauseFunctions: Prolog.()->Any): Theory

Parameters

Name Description
vararg clauseFunctions: Prolog.()->Any

ReturnValue

Name Description
Theory

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

PrologWithTheories

interface PrologWithTheories: PrologWithUnification, Any

Methods

empty

fun empty(): PrologWithTheories

ReturnValue

Name Description
PrologWithTheories