Scope

interface Scope: Any

Fields

Name	Description
`abstract variables: Map<String, Var>`
`abstract fail: Truth`
`abstract emptyList: EmptyList`
`abstract emptyBlock: EmptyBlock`
`open _: Var`

Methods

contains

abstract operator fun contains(variable: Var): Boolean

Parameters

Name	Description
`variable: Var`

ReturnValue

Name	Description
`Boolean`

contains

abstract operator fun contains(variable: String): Boolean

Parameters

Name	Description
`variable: String`

ReturnValue

Name	Description
`Boolean`

get

abstract operator fun get(variable: String): Var?

Parameters

Name	Description
`variable: String`

ReturnValue

Name	Description
`Var?`

where

abstract fun where(lambda: Scope.()->Unit): Scope

Parameters

Name	Description
`lambda: Scope.()->Unit`

ReturnValue

Name	Description
`Scope`

with

abstract fun <R> with(lambda: Scope.()->R): R

Parameters

Name	Description
`lambda: Scope.()->R`

ReturnValue

Name	Description
`R`

varOf

abstract fun varOf(name: String): Var

Parameters

Name	Description
`name: String`

ReturnValue

Name	Description
`Var`

atomOf

abstract fun atomOf(value: String): Atom

Parameters

Name	Description
`value: String`

ReturnValue

Name	Description
`Atom`

structOf

abstract fun structOf(functor: String, vararg args: Term): Struct

Parameters

Name	Description
`functor: String`
`vararg args: Term`

ReturnValue

Name	Description
`Struct`

structOf

abstract fun structOf(functor: String, args: Sequence<Term>): Struct

Parameters

Name	Description
`functor: String`
`args: Sequence<Term>`

ReturnValue

Name	Description
`Struct`

structOf

abstract fun structOf(functor: String, args: Iterable<Term>): Struct

Parameters

Name	Description
`functor: String`
`args: Iterable<Term>`

ReturnValue

Name	Description
`Struct`

structOf

abstract fun structOf(functor: String, args: List<Term>): Struct

Parameters

Name	Description
`functor: String`
`args: List<Term>`

ReturnValue

Name	Description
`Struct`

tupleOf

abstract fun tupleOf(vararg terms: Term): Tuple

Parameters

Name	Description
`vararg terms: Term`

ReturnValue

Name	Description
`Tuple`

tupleOf

abstract fun tupleOf(terms: Iterable<Term>): Tuple

Parameters

Name	Description
`terms: Iterable<Term>`

ReturnValue

Name	Description
`Tuple`

tupleOf

abstract fun tupleOf(terms: Sequence<Term>): Tuple

Parameters

Name	Description
`terms: Sequence<Term>`

ReturnValue

Name	Description
`Tuple`

listOf

abstract fun listOf(vararg terms: Term): List

Parameters

Name	Description
`vararg terms: Term`

ReturnValue

Name	Description
`List`

listOf

abstract fun listOf(terms: Iterable<Term>): List

Parameters

Name	Description
`terms: Iterable<Term>`

ReturnValue

Name	Description
`List`

listOf

abstract fun listOf(terms: Sequence<Term>): List

Parameters

Name	Description
`terms: Sequence<Term>`

ReturnValue

Name	Description
`List`

ktListOf

abstract fun <T> ktListOf(vararg items: T): List<T>

Parameters

Name	Description
`vararg items: T`

ReturnValue

Name	Description
`List<T>`

append

abstract fun <T> List<T>.append(item: T, vararg items: T): List<T>

Receiver

Name	Description
`List<T>`

Parameters

Name	Description
`item: T`
`vararg items: T`

ReturnValue

Name	Description
`List<T>`

concat

abstract fun <T> List<T>.concat(other: Iterable<T>): List<T>

Receiver

Name	Description
`List<T>`

Parameters

Name	Description
`other: Iterable<T>`

ReturnValue

Name	Description
`List<T>`

ktEmptyList

abstract fun <T> ktEmptyList(): List<T>

ReturnValue

Name	Description
`List<T>`

listFrom

abstract fun listFrom(vararg terms: Term, last: Term?): List

Parameters

Name	Description
`vararg terms: Term`
`last: Term?`

ReturnValue

Name	Description
`List`

listFrom

abstract fun listFrom(terms: Iterable<Term>, last: Term?): List

Parameters

Name	Description
`terms: Iterable<Term>`
`last: Term?`

ReturnValue

Name	Description
`List`

listFrom

abstract fun listFrom(terms: Sequence<Term>, last: Term?): List

Parameters

Name	Description
`terms: Sequence<Term>`
`last: Term?`

ReturnValue

Name	Description
`List`

blockOf

abstract fun blockOf(vararg terms: Term): Block

Parameters

Name	Description
`vararg terms: Term`

ReturnValue

Name	Description
`Block`

blockOf

abstract fun blockOf(terms: Iterable<Term>): Block

Parameters

Name	Description
`terms: Iterable<Term>`

ReturnValue

Name	Description
`Block`

blockOf

abstract fun blockOf(terms: Sequence<Term>): Block

Parameters

Name	Description
`terms: Sequence<Term>`

ReturnValue

Name	Description
`Block`

ktSetOf

abstract fun <T> ktSetOf(vararg items: T): Set<T>

Parameters

Name	Description
`vararg items: T`

ReturnValue

Name	Description
`Set<T>`

ktEmptySet

abstract fun <T> ktEmptySet(): Set<T>

ReturnValue

Name	Description
`Set<T>`

factOf

abstract fun factOf(head: Struct): Fact

Parameters

Name	Description
`head: Struct`

ReturnValue

Name	Description
`Fact`

ruleOf

abstract fun ruleOf(head: Struct, body1: Term, vararg body: Term): Rule

Parameters

Name	Description
`head: Struct`
`body1: Term`
`vararg body: Term`

ReturnValue

Name	Description
`Rule`

directiveOf

abstract fun directiveOf(body1: Term, vararg body: Term): Directive

Parameters

Name	Description
`body1: Term`
`vararg body: Term`

ReturnValue

Name	Description
`Directive`

clauseOf

abstract fun clauseOf(head: Struct?, vararg body: Term): Clause

Parameters

Name	Description
`head: Struct?`
`vararg body: Term`

ReturnValue

Name	Description
`Clause`

consOf

abstract fun consOf(head: Term, tail: Term): Cons

Parameters

Name	Description
`head: Term`
`tail: Term`

ReturnValue

Name	Description
`Cons`

indicatorOf

abstract fun indicatorOf(name: Term, arity: Term): Indicator

Parameters

Name	Description
`name: Term`
`arity: Term`

ReturnValue

Name	Description
`Indicator`

indicatorOf

abstract fun indicatorOf(name: String, arity: Int): Indicator

Parameters

Name	Description
`name: String`
`arity: Int`

ReturnValue

Name	Description
`Indicator`

anonymous

abstract fun anonymous(): Var

ReturnValue

Name	Description
`Var`

whatever

abstract fun whatever(): Var

ReturnValue

Name	Description
`Var`

numOf

abstract fun numOf(value: BigDecimal): Real

Parameters

Name	Description
`value: BigDecimal`

ReturnValue

Name	Description
`Real`

numOf

abstract fun numOf(value: Double): Real

Parameters

Name	Description
`value: Double`

ReturnValue

Name	Description
`Real`

numOf

abstract fun numOf(value: Float): Real

Parameters

Name	Description
`value: Float`

ReturnValue

Name	Description
`Real`

numOf

abstract fun numOf(value: BigInteger): Integer

Parameters

Name	Description
`value: BigInteger`

ReturnValue

Name	Description
`Integer`

numOf

abstract fun numOf(value: Int): Integer

Parameters

Name	Description
`value: Int`

ReturnValue

Name	Description
`Integer`

numOf

abstract fun numOf(value: Long): Integer

Parameters

Name	Description
`value: Long`

ReturnValue

Name	Description
`Integer`

numOf

abstract fun numOf(value: Short): Integer

Parameters

Name	Description
`value: Short`

ReturnValue

Name	Description
`Integer`

numOf

abstract fun numOf(value: Byte): Integer

Parameters

Name	Description
`value: Byte`

ReturnValue

Name	Description
`Integer`

numOf

abstract fun numOf(value: String): Numeric

Parameters

Name	Description
`value: String`

ReturnValue

Name	Description
`Numeric`

numOf

abstract fun numOf(value: Number): Numeric

Parameters

Name	Description
`value: Number`

ReturnValue

Name	Description
`Numeric`

intOf

abstract fun intOf(value: BigInteger): Integer

Parameters

Name	Description
`value: BigInteger`

ReturnValue

Name	Description
`Integer`

intOf

abstract fun intOf(value: Int): Integer

Parameters

Name	Description
`value: Int`

ReturnValue

Name	Description
`Integer`

intOf

abstract fun intOf(value: Long): Integer

Parameters

Name	Description
`value: Long`

ReturnValue

Name	Description
`Integer`

intOf

abstract fun intOf(value: Short): Integer

Parameters

Name	Description
`value: Short`

ReturnValue

Name	Description
`Integer`

intOf

abstract fun intOf(value: Byte): Integer

Parameters

Name	Description
`value: Byte`

ReturnValue

Name	Description
`Integer`

intOf

abstract fun intOf(value: String): Integer

Parameters

Name	Description
`value: String`

ReturnValue

Name	Description
`Integer`

intOf

abstract fun intOf(value: String, radix: Int): Integer

Parameters

Name	Description
`value: String`
`radix: Int`

ReturnValue

Name	Description
`Integer`

realOf

abstract fun realOf(value: BigDecimal): Real

Parameters

Name	Description
`value: BigDecimal`

ReturnValue

Name	Description
`Real`

realOf

abstract fun realOf(value: Double): Real

Parameters

Name	Description
`value: Double`

ReturnValue

Name	Description
`Real`

realOf

abstract fun realOf(value: Float): Real

Parameters

Name	Description
`value: Float`

ReturnValue

Name	Description
`Real`

realOf

abstract fun realOf(value: String): Real

Parameters

Name	Description
`value: String`

ReturnValue

Name	Description
`Real`

truthOf

abstract fun truthOf(value: Boolean): Truth

Parameters

Name	Description
`value: Boolean`

ReturnValue

Name	Description
`Truth`

CompanionObject

Scope

interface Scope: Any

Methods

empty

fun empty(): Scope

ReturnValue

Name	Description
`Scope`

empty

fun <R> empty(lambda: Scope.()->R): R

Parameters

Name	Description
`lambda: Scope.()->R`

ReturnValue

Name	Description
`R`

of

fun of(vararg vars: String): Scope

Parameters

Name	Description
`vararg vars: String`

ReturnValue

Name	Description
`Scope`

of

fun of(vararg vars: String, lambda: Scope.()->Unit): Scope

Parameters

Name	Description
`vararg vars: String`
`lambda: Scope.()->Unit`

ReturnValue

Name	Description
`Scope`

of

fun of(vararg vars: Var): Scope

Parameters

Name	Description
`vararg vars: Var`

ReturnValue

Name	Description
`Scope`

of

fun of(vararg vars: Var, lambda: Scope.()->Unit): Scope

Parameters

Name	Description
`vararg vars: Var`
`lambda: Scope.()->Unit`

ReturnValue

Name	Description
`Scope`

of

fun <R> of(vararg vars: String, lambda: Scope.()->R): R

Parameters

Name	Description
`vararg vars: String`
`lambda: Scope.()->R`

ReturnValue

Name	Description
`R`

of

fun <R> of(vararg vars: Var, lambda: Scope.()->R): R

Parameters

Name	Description
`vararg vars: Var`
`lambda: Scope.()->R`

ReturnValue

Name	Description
`R`