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

Availability::- use_module(library(heaps)).(can be autoloaded)
Source[semidet]min_of_heap(+Heap, ?Priority, ?Key)
Unifies Key with the minimum-priority element of Heap and Priority with its priority value. Complexity: constant.
ClioPatria (version V3.1.1-51-ga0b30a5)