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