SWI-Prolog -- min_of

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(heaps): heaps/priority queues
- Packages

Availability::- use_module(library(heaps)).(can be autoloaded)

[semidet]min_of_heap(+Heap, ?Priority1, ?Key1, ?Priority2, ?Key2)

Gets the two minimum-priority elements from Heap. Complexity: logarithmic (amortized).

Do not use this predicate; it exists for compatibility with earlier implementations of this library and the SICStus counterpart. It performs a linear amount of work in the worst case that a following get_from_heap has to re-do.