A.19 library(heaps): heaps/priority queues
All Application Manual Name SummaryHelp

Availability::- use_module(library(heaps)).(can be autoloaded)
Source[semidet]singleton_heap(?Heap, ?Priority, ?Key)
True if Heap is a heap with the single element Priority-Key.

Complexity: constant.

ClioPatria (version V3.1.1-51-ga0b30a5)