Collection

interface Collection: Struct, Any

Fields

Name Description
abstract unfoldedSequence: Sequence<Term>
abstract unfoldedList: List<Term>
abstract unfoldedArray: Array<Term>
abstract size: Int

Methods

toArray

abstract fun toArray(): Array<Term>

ReturnValue

Name Description
Array<Term>

toList

abstract fun toList(): List<Term>

ReturnValue

Name Description
List<Term>

toSequence

abstract fun toSequence(): Sequence<Term>

ReturnValue

Name Description
Sequence<Term>

Extensions

extractSignature

fun Struct.extractSignature(): Signature

Extracts this Struct indicator and converts it to Signature

Receiver

Name Description
Struct

ReturnValue

Name Description
Signature

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

eq

infix fun Term.eq(that: Term): Equation<Term, Term>

Creates an equation with this and that terms

Receiver

Name Description
Term

Parameters

Name Description
that: Term

ReturnValue

Name Description
Equation<Term, Term>