Scope

interface Scope: Any

Fields

Name Description
abstract variables: Map<String, Var>
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

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

emptyList

abstract fun emptyList(): EmptyList

ReturnValue

Name Description
EmptyList

emptySet

abstract fun emptySet(): EmptySet

ReturnValue

Name Description
EmptySet

listFrom

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

Parameters

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

ReturnValue

Name Description
List

setOf

abstract fun setOf(vararg terms: Term): Set

Parameters

Name Description
vararg terms: Term

ReturnValue

Name Description
Set

setOf

abstract fun setOf(terms: Iterable<Term>): Set

Parameters

Name Description
terms: Iterable<Term>

ReturnValue

Name Description
Set

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

fail

abstract fun fail(): Truth

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