[semidet]delete_from_heap(+Heap0,
-Priority, +Key, -Heap)Deletes Key from Heap0, leaving its priority in Priority
and the resulting data structure in Heap. Fails if Key
is not found in
Heap0.
- bug
- This predicate is extremely inefficient and exists only for SICStus
compatibility.