protocol
Queue protocol.
Paulo Moura
1.0
2000/7/24
static
(no dependencies on other files)
True if the queue is empty.
static
empty(Queue)
empty(@queue) – zero_or_one
Unifies Head with the first element of the queue.
static
head(Queue,Head)
head(+queue,?term) – zero_or_one
Adds the new element at the end of the queue.
static
join(Element,Queue_in,Queue_out)
join(@term,+queue,-queue) – zero_or_one
Adds the new elements at the end of the queue. The elements are added in the same order that they appear in the list.
static
join_all(List,Queue_in,Queue_out)
join_all(+list,+queue,-queue) – zero_or_one
Adds the new element at the front of the queue.
static
jump(Element,Queue_in,Queue_out)
jump(@term,+queue,-queue) – zero_or_one
Adds the new elements at the front of the queue. The elements are added in the same order that they appear in the list.
static
jump_all(Element,Queue_in,Queue_out)
jump_all(+list,+queue,-queue) – zero_or_one
Queue length.
static
length(Queue,Length)
length(+queue,?integer) – zero_or_one
Removes the first element of the queue for service.
static
serve(Queue_in,Head,Queue_out)
serve(+queue,?term,-queue) – zero_or_one
Converts a queue to a list.
static
as_list(Queue,List)
as_list(+queue,-list) – one
(none)
(none)