Ref

interface Ref: Atom, Any

Methods

invoke

open fun invoke(objectConverter: TermToObjectConverter, methodName: String, vararg arguments: Term): Result

Parameters

Name	Description
`objectConverter: TermToObjectConverter`
`methodName: String`
`vararg arguments: Term`

ReturnValue

Name	Description
`Result`

invoke

abstract fun invoke(objectConverter: TermToObjectConverter, methodName: String, arguments: List<Term>): Result

Parameters

Name	Description
`objectConverter: TermToObjectConverter`
`methodName: String`
`arguments: List<Term>`

ReturnValue

Name	Description
`Result`

invoke

open fun invoke(objectConverter: TermToObjectConverter, methodName: String, arguments: Iterable<Term>): Result

Parameters

Name	Description
`objectConverter: TermToObjectConverter`
`methodName: String`
`arguments: Iterable<Term>`

ReturnValue

Name	Description
`Result`

invoke

open fun invoke(objectConverter: TermToObjectConverter, methodName: String, arguments: Sequence<Term>): Result

Parameters

Name	Description
`objectConverter: TermToObjectConverter`
`methodName: String`
`arguments: Sequence<Term>`

ReturnValue

Name	Description
`Result`

invoke

open fun invoke(methodName: String, vararg arguments: Term): Result

Parameters

Name	Description
`methodName: String`
`vararg arguments: Term`

ReturnValue

Name	Description
`Result`

invoke

open fun invoke(methodName: String, arguments: List<Term>): Result

Parameters

Name	Description
`methodName: String`
`arguments: List<Term>`

ReturnValue

Name	Description
`Result`

invoke

open fun invoke(methodName: String, arguments: Iterable<Term>): Result

Parameters

Name	Description
`methodName: String`
`arguments: Iterable<Term>`

ReturnValue

Name	Description
`Result`

invoke

open fun invoke(methodName: String, arguments: Sequence<Term>): Result

Parameters

Name	Description
`methodName: String`
`arguments: Sequence<Term>`

ReturnValue

Name	Description
`Result`

assign

abstract fun assign(objectConverter: TermToObjectConverter, propertyName: String, value: Term): Boolean

Parameters

Name	Description
`objectConverter: TermToObjectConverter`
`propertyName: String`
`value: Term`

ReturnValue

Name	Description
`Boolean`

assign

open fun assign(propertyName: String, value: Term): Boolean

Parameters

Name	Description
`propertyName: String`
`value: Term`

ReturnValue

Name	Description
`Boolean`

Extensions

toClause

fun Term.toClause(source: Any?, line: Int, column: Int): Clause

Receiver

Name	Description
`Term`

Parameters

Name	Description
`source: Any?`
`line: Int`
`column: Int`

ReturnValue

Name	Description
`Clause`

unfoldGoals

fun Term.unfoldGoals(): Sequence<Term>

Receiver

Name	Description
`Term`

ReturnValue

Name	Description
`Sequence<Term>`

toGoals

fun Term.toGoals(): Cursor<Term>

Receiver

Name	Description
`Term`

ReturnValue

Name	Description
`Cursor<Term>`

isWellFormed

fun Term.isWellFormed(): Boolean

Check whether the receiver term is a well-formed predication

Receiver

Name	Description
`Term`

ReturnValue

Name	Description
`Boolean`

prepareForExecutionAsGoal

fun Term.prepareForExecutionAsGoal(): Struct

Prepares the receiver Goal for execution

For example, the goal A is transformed, after preparation for execution, as the Term: call(A)

Receiver

Name	Description
`Term`

ReturnValue

Name	Description
`Struct`

extractSignature

fun Struct.extractSignature(): Signature

Extracts this Struct indicator and converts it to Signature

Receiver

Name	Description
`Struct`

ReturnValue

Name	Description
`Signature`

evalAsExpression

fun Term.evalAsExpression(request: Request<*>, index: Int?): Term

Receiver

Name	Description
`Term`

Parameters

Name	Description
`request: Request<*>`
`index: Int?`

ReturnValue

Name	Description
`Term`

evalAsArithmeticExpression

fun Term.evalAsArithmeticExpression(request: Request<*>, index: Int?): Numeric

Receiver

Name	Description
`Term`

Parameters

Name	Description
`request: Request<*>`
`index: Int?`

ReturnValue

Name	Description
`Numeric`

eq

infix fun Term.eq(that: Term): Equation

Creates an equation with this and that terms

Receiver

Name	Description
`Term`

Parameters

Name	Description
`that: Term`

ReturnValue

Name	Description
`Equation`