[ library(queues) | Reference Manual | Alphabetic Index ]
tests whether the queue is empty
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.