queues (library)
Usage and interface
- Library usage:
:- use_module(library(queues)). - Exports:
- Predicates:
q_empty/1, q_insert/3, q_member/2, q_delete/3.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, condcomp, assertions.
- Packages:
Documentation on exports