 [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.
[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.