protocol
queuep¶
Queue protocol.
staticPublic predicates¶
empty/1¶
True if the queue is empty.
staticempty(Queue)empty(@queue) - zero_or_onehead/2¶
Unifies Head with the first element of the queue.
statichead(Queue,Head)head(+queue,?term) - zero_or_onejoin/3¶
Adds the new element at the end of the queue.
staticjoin(Element,Queue,NewQueue)join(@term,+queue,-queue) - zero_or_onejoin_all/3¶
Adds the new elements at the end of the queue. The elements are added in the same order that they appear in the list.
staticjoin_all(List,Queue,NewQueue)join_all(+list,+queue,-queue) - zero_or_onejump/3¶
Adds the new element at the front of the queue.
staticjump(Element,Queue,NewQueue)jump(@term,+queue,-queue) - zero_or_onejump_all/3¶
Adds the new elements at the front of the queue. The last element in the list will be at the front of the queue.
staticjump_all(Elements,Queue,NewQueue)jump_all(+list,+queue,-queue) - zero_or_onejump_all_block/3¶
Adds the new elements as a block at the front of the queue. The first element in the list will be at the front of the queue.
staticjump_all_block(Elements,Queue,NewQueue)jump_all_block(+list,+queue,-queue) - zero_or_oneappend/3¶
Appends two queues. The new queue will have the elements of the first queue followed by the elements of the second queue.
staticappend(Queue1,Queue2,NewQueue)append(+queue,+queue,-queue) - onelength/2¶
Queue length.
staticlength(Queue,Length)length(+heap,?integer) - zero_or_oneserve/3¶
Removes the first element of the queue for service.
staticserve(Queue,Head,NewQueue)serve(+queue,?term,-queue) - zero_or_oneas_list/2¶
Converts a queue to a list.
staticas_list(Queue,List)as_list(+queue,-list) - oneProtected predicates¶
(none)
Private predicates¶
(none)