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