[ library(queues) | Reference Manual | Alphabetic Index ]
empty_queue(Queue)
tests whether the queue is empty
Description
tests whether the queue is empty. If the back of a queue were
guaranteed to be a variable, we could have
empty_queue(Front-Back) :- var(Front).
but I don't see why you shouldn't be able to treat difference
lists as queues if you want to.