home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-387-Vol-3of3.iso / p / plbin.zip / pl / src / PROBLEMS < prev    next >
Text File  |  1992-06-18  |  639b  |  29 lines
  1. Remaining problems in SWI-Prolog
  2.  
  3. * Still, we have to search for a solution to garbage collection
  4.   while foreign code is active.
  5.  
  6. * Read/1 is buggy.  Operator resolution still does not solve all problems
  7.   correctly.
  8.  
  9.   See:
  10.  
  11.       ?- op(900, fy, cd).
  12.     
  13.     cd :- cd ~.
  14.  
  15.   is read as cd (:- cd ~).
  16.  
  17. * Bagof/setof have a bug as reported by Paul Broome <broome@BRL.MIL>:
  18.  
  19.   The symptons are that variable bindings in subgoals of bagof seem to
  20.   be lost.  An example that illustrates the problem is the following:
  21.  
  22.   | ?- bagof(Z,(X=Z),L).
  23.  
  24.   L = [G206]
  25.   X = G148
  26.   Z = G149 ;
  27.  
  28.   The variables G206 and G148 are the same but this fact is lost.
  29.