[ 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.