ClauseQueue

interface ClauseQueue: ClauseCollection, Any

Methods

addFirst

abstract fun addFirst(clause: Clause): ClauseQueue

Gives a freshly produced ClauseQueue including the given Clause in the first position and the content of this one

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
ClauseQueue

addLast

abstract fun addLast(clause: Clause): ClauseQueue

Gives a freshly produced ClauseQueue including the given Clause in the last position and the content of this one

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
ClauseQueue

getFifoOrdered

abstract fun getFifoOrdered(clause: Clause): Sequence<Clause>

Produces a Sequence of the clauses that would unify over the given Clause, scanning from data structure from the first position to the last one

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
Sequence<Clause>

getLifoOrdered

abstract fun getLifoOrdered(clause: Clause): Sequence<Clause>

Produces a Sequence of the clauses that would unify over the given Clause, scanning from data structure from the last position to the first

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
Sequence<Clause>

get

open operator fun get(clause: Clause): Sequence<Clause>

Produces a Sequence of the clauses that would unify over the given Clause. Analogous to getFifoOrdered

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
Sequence<Clause>

add

open fun add(clause: Clause): ClauseQueue

Gives a freshly produced ClauseQueue including the given Clause and the content of this one. Analogous to addFirst

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
ClauseQueue

addAll

abstract fun addAll(clauses: Iterable<Clause>): ClauseQueue

Gives a freshly produced ClauseQueue including all the given Clause and the content of this one

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
ClauseQueue

retrieveFirst

abstract fun retrieveFirst(clause: Clause): RetrieveResult<ClauseQueue>

Retrieve the first Clause unifying the given one, searching from the first position

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
RetrieveResult<ClauseQueue>

retrieve

open fun retrieve(clause: Clause): RetrieveResult<ClauseQueue>

Retrieve the first Clause unifying the given one. Analogous to retrieveFirst

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
RetrieveResult<ClauseQueue>

retrieveAll

abstract fun retrieveAll(clause: Clause): RetrieveResult<ClauseQueue>

Retrieve all the Clause unifying the given one

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
RetrieveResult<ClauseQueue>

CompanionObject

ClauseQueue

interface ClauseQueue: ClauseCollection, Any

Methods

empty

fun empty(): ClauseQueue

Creates an empty ClauseQueue

ReturnValue

Name Description
ClauseQueue

of

fun of(vararg clause: Clause): ClauseQueue

Creates a ClauseQueue with given clauses

Parameters

Name Description
vararg clause: Clause

ReturnValue

Name Description
ClauseQueue

of

fun of(vararg clause: Scope.()->Clause): ClauseQueue

Let developers easily create a ClauseQueue programmatically while avoiding variables names clashing

Parameters

Name Description
vararg clause: Scope.()->Clause

ReturnValue

Name Description
ClauseQueue

of

fun of(clauses: Sequence<Clause>): ClauseQueue

Creates a ClauseQueue from the given Sequence of Clause

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
ClauseQueue

of

fun of(clauses: Iterable<Clause>): ClauseQueue

Creates a ClauseQueue from the given Iterable of Clause

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
ClauseQueue

equals

fun equals(queue1: ClauseQueue, queue2: ClauseQueue): Boolean

Parameters

Name Description
queue1: ClauseQueue
queue2: ClauseQueue

ReturnValue

Name Description
Boolean

hashCode

fun hashCode(queue: ClauseQueue): Int

Parameters

Name Description
queue: ClauseQueue

ReturnValue

Name Description
Int