interface PrologScope: PrologStdLibScope, VariablesAwareScope, Any
Methods
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
|
structOf
open fun structOf(functor: String, vararg args: Any): Struct
Parameters
| Name | Description |
|---|---|
functor: String
|
|
vararg args: 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): Indicator
Receiver
| Name | Description |
|---|---|
Any
|
Parameters
| Name | Description |
|---|---|
other: Any
|
ReturnValue
| Name | Description |
|---|---|
Indicator
|
equalsTo
open infix fun Any.equalsTo(other: Any): Struct
Receiver
| Name | Description |
|---|---|
Any
|
Parameters
| Name | Description |
|---|---|
other: Any
|
ReturnValue
| Name | Description |
|---|---|
Struct
|
notEqualsTo
open infix fun Any.notEqualsTo(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
|
blockOf
open fun blockOf(vararg terms: Any): Block
Parameters
| Name | Description |
|---|---|
vararg terms: Any
|
ReturnValue
| Name | Description |
|---|---|
Block
|
factOf
open fun factOf(term: Any): Fact
Parameters
| Name | Description |
|---|---|
term: Any
|
ReturnValue
| Name | Description |
|---|---|
Fact
|
consOf
open fun consOf(head: Any, tail: Any): Cons
Parameters
| Name | Description |
|---|---|
head: Any
|
|
tail: Any
|
ReturnValue
| Name | Description |
|---|---|
Cons
|
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: PrologScope.()->R): R
Parameters
| Name | Description |
|---|---|
function: PrologScope.()->R
|
ReturnValue
| Name | Description |
|---|---|
R
|
list
open fun list(vararg items: Any, tail: Any?): List
Parameters
| Name | Description |
|---|---|
vararg items: Any
|
|
tail: Any?
|
ReturnValue
| Name | Description |
|---|---|
List
|
rule
open fun rule(function: PrologScope.()->Any): Rule
Parameters
| Name | Description |
|---|---|
function: PrologScope.()->Any
|
ReturnValue
| Name | Description |
|---|---|
Rule
|
clause
open fun clause(function: PrologScope.()->Any): Clause
Parameters
| Name | Description |
|---|---|
function: PrologScope.()->Any
|
ReturnValue
| Name | Description |
|---|---|
Clause
|
directive
open fun directive(function: PrologScope.()->Any): Directive
Parameters
| Name | Description |
|---|---|
function: PrologScope.()->Any
|
ReturnValue
| Name | Description |
|---|---|
Directive
|
fact
open fun fact(function: PrologScope.()->Any): Fact
Parameters
| Name | Description |
|---|---|
function: PrologScope.()->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
|
Creates a structure whose functor is
'='/2(term unification operator)