Prolog

interface Prolog: Scope, Any

Methods

toTerm

abstract fun Any.toTerm(): Term

Receiver

Name Description
Any

ReturnValue

Name Description
Term

structOf

open fun structOf(functor: String, vararg args: Any): Struct

Parameters

Name Description
functor: String
vararg args: Any

ReturnValue

Name Description
Struct

invoke

open operator fun String.invoke(term: Any, vararg terms: Any): Struct

Receiver

Name Description
String

Parameters

Name Description
term: Any
vararg terms: Any

ReturnValue

Name Description
Struct

plus

open operator fun Any.plus(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

minus

open operator fun Any.minus(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

times

open operator fun Any.times(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

div

open operator fun Any.div(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

equalsTo

open infix fun Any.equalsTo(other: Any): Struct

Creates a structure whose functor is '='/2 (term unification operator)

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

univ

open infix fun Any.univ(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

greaterThan

open infix fun Any.greaterThan(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

greaterThanOrEqualsTo

open infix fun Any.greaterThanOrEqualsTo(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

nonLowerThan

open infix fun Any.nonLowerThan(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

lowerThan

open infix fun Any.lowerThan(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

lowerThanOrEqualsTo

open infix fun Any.lowerThanOrEqualsTo(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

nonGreaterThan

open infix fun Any.nonGreaterThan(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

intDiv

open infix fun Any.intDiv(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

rem

open operator fun Any.rem(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

and

open infix fun Any.and(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

or

open infix fun Any.or(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

pow

open infix fun Any.pow(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

sup

open infix fun Any.sup(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

is

open infix fun Any.is(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

then

open infix fun Any.then(other: Any): Struct

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Struct

impliedBy

open infix fun Any.impliedBy(other: Any): Rule

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Rule

impliedBy

open fun Any.impliedBy(vararg other: Any): Rule

Receiver

Name Description
Any

Parameters

Name Description
vararg other: Any

ReturnValue

Name Description
Rule

if

open infix fun Any.if(other: Any): Rule

Receiver

Name Description
Any

Parameters

Name Description
other: Any

ReturnValue

Name Description
Rule

if

open fun Any.if(vararg other: Any): Rule

Receiver

Name Description
Any

Parameters

Name Description
vararg other: Any

ReturnValue

Name Description
Rule

tupleOf

open fun tupleOf(vararg terms: Any): Tuple

Parameters

Name Description
vararg terms: Any

ReturnValue

Name Description
Tuple

listOf

open fun listOf(vararg terms: Any): List

Parameters

Name Description
vararg terms: Any

ReturnValue

Name Description
List

setOf

open fun setOf(vararg terms: Any): Set

Parameters

Name Description
vararg terms: Any

ReturnValue

Name Description
Set

consOf

open fun consOf(head: Any, tail: Any): Cons

Parameters

Name Description
head: Any
tail: Any

ReturnValue

Name Description
Cons

factOf

open fun factOf(term: Any): Fact

Parameters

Name Description
term: Any

ReturnValue

Name Description
Fact

directiveOf

open fun directiveOf(term: Any, vararg terms: Any): Directive

Parameters

Name Description
term: Any
vararg terms: Any

ReturnValue

Name Description
Directive

scope

open fun <R> scope(function: Prolog.()->R): R

Parameters

Name Description
function: Prolog.()->R

ReturnValue

Name Description
R

rule

open fun rule(function: Prolog.()->Any): Rule

Parameters

Name Description
function: Prolog.()->Any

ReturnValue

Name Description
Rule

clause

open fun clause(function: Prolog.()->Any): Clause

Parameters

Name Description
function: Prolog.()->Any

ReturnValue

Name Description
Clause

directive

open fun directive(function: Prolog.()->Any): Directive

Parameters

Name Description
function: Prolog.()->Any

ReturnValue

Name Description
Directive

fact

open fun fact(function: Prolog.()->Any): Fact

Parameters

Name Description
function: Prolog.()->Any

ReturnValue

Name Description
Fact

to

open infix fun Var.to(termObject: Any): Unifier

Receiver

Name Description
Var

Parameters

Name Description
termObject: Any

ReturnValue

Name Description
Unifier

to

open infix fun String.to(termObject: Any): Unifier

Receiver

Name Description
String

Parameters

Name Description
termObject: Any

ReturnValue

Name Description
Unifier

get

open operator fun Substitution.get(term: Any): Term?

Receiver

Name Description
Substitution

Parameters

Name Description
term: Any

ReturnValue

Name Description
Term?

containsKey

open fun Substitution.containsKey(term: Any): Boolean

Receiver

Name Description
Substitution

Parameters

Name Description
term: Any

ReturnValue

Name Description
Boolean

contains

open operator fun Substitution.contains(term: Any): Boolean

Receiver

Name Description
Substitution

Parameters

Name Description
term: Any

ReturnValue

Name Description
Boolean

containsValue

open fun Substitution.containsValue(term: Any): Boolean

Receiver

Name Description
Substitution

Parameters

Name Description
term: Any

ReturnValue

Name Description
Boolean

CompanionObject

Prolog

interface Prolog: Scope, Any

Methods

empty

fun empty(): Prolog

ReturnValue

Name Description
Prolog