TypeRef

interface TypeRef: Ref, Any

Fields

Name	Description
`abstract type: KClass<*>`

Methods

create

open fun create(objectConverter: TermToObjectConverter, vararg arguments: Term): Result

Parameters

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

ReturnValue

Name	Description
`Result`

create

abstract fun create(objectConverter: TermToObjectConverter, arguments: List<Term>): Result

Parameters

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

ReturnValue

Name	Description
`Result`

create

open fun create(objectConverter: TermToObjectConverter, arguments: Iterable<Term>): Result

Parameters

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

ReturnValue

Name	Description
`Result`

create

open fun create(objectConverter: TermToObjectConverter, arguments: Sequence<Term>): Result

Parameters

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

ReturnValue

Name	Description
`Result`

create

open fun create(vararg arguments: Term): Result

Parameters

Name	Description
`vararg arguments: Term`

ReturnValue

Name	Description
`Result`

create

open fun create(arguments: List<Term>): Result

Parameters

Name	Description
`arguments: List<Term>`

ReturnValue

Name	Description
`Result`

create

open fun create(arguments: Iterable<Term>): Result

Parameters

Name	Description
`arguments: Iterable<Term>`

ReturnValue

Name	Description
`Result`

create

open fun create(arguments: Sequence<Term>): Result

Parameters

Name	Description
`arguments: Sequence<Term>`

ReturnValue

Name	Description
`Result`

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`

CompanionObject

TypeRef

interface TypeRef: Ref, Any

Methods

of

fun of(type: KClass<*>): TypeRef

Parameters

Name	Description
`type: KClass<*>`

ReturnValue

Name	Description
`TypeRef`