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
Parameters
Name | Description |
---|---|
functor: String
|
|
args: Sequence
|
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
Parameters
Name | Description |
---|---|
terms: Sequence
|
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
Parameters
Name | Description |
---|---|
terms: Sequence
|
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
ReturnValue
Name | Description |
---|---|
List
|
listFrom
abstract fun listFrom(terms: Iterable<Term>, last: Term?): List
ReturnValue
Name | Description |
---|---|
List
|
listFrom
abstract fun listFrom(terms: Sequence
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
Parameters
Name | Description |
---|---|
terms: Sequence
|
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
ReturnValue
Name | Description |
---|---|
Rule
|
directiveOf
abstract fun directiveOf(body1: Term, vararg body: Term): Directive
ReturnValue
Name | Description |
---|---|
Directive
|
clauseOf
abstract fun clauseOf(head: Struct?, vararg body: Term): Clause
ReturnValue
Name | Description |
---|---|
Clause
|
indicatorOf
abstract fun indicatorOf(name: Term, arity: Term): Indicator
ReturnValue
Name | Description |
---|---|
Indicator
|
indicatorOf
abstract fun indicatorOf(name: String, arity: Int): Indicator
Parameters
Name | Description |
---|---|
name: String
|
|
arity: Int
|
ReturnValue
Name | Description |
---|---|
Indicator
|
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
|
CompanionObject
Scope
interface Scope: Any
Methods
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
|