














ovember 1983
%   Purpose:
lement heaps in Prolo
/*  A heap is a l
led binary tr
here the 
of ea
o
































































































































































































































  
  
  
 
 
 
   
  7
    
    
     10 
14       9
   13    
     15
   










































































































































 and N say 10^4
    this means a factor of two.  The cost of the free list is slight.
    The st
e cost of a heap in a copying Prolog (which Dec-10 Prolog is
    not) is 2K+3M words.



*/

public
	add_to_heap/4,		%   Heap x Key x Datum -> Heap
	get_from_heap/4,	%   Heap -> Key
atum x Heap








































%































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































