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

Availability::- use_module(library(heaps)).(can be autoloaded)
Source[semidet]get_from_heap(?Heap0, ?Priority, ?Key, -Heap)
Retrieves the minimum-priority pair Priority-Key from Heap0. Heap is Heap0 with that pair removed. Complexity: logarithmic (amortized), linear in the worst case.