home *** CD-ROM | disk | FTP | other *** search
/ The Atari Compendium / The Atari Compendium (Toad Computers) (1994).iso / files / prgtools / langs / xprolog.arc / version.doc < prev    next >
Encoding:
Text File  |  1987-10-12  |  690 b   |  22 lines

  1.  
  2.  
  3.  
  4.  
  5.         This is version 2.0 of X PROLOG
  6.  
  7.  
  8.  
  9. The former version was buried after some severe design mistakes were detected.
  10.  
  11. But : THIS VERSION IS MERELY A PRELIMINARY VERSION
  12.  
  13.  
  14.  
  15. The following features are yet to be implemented :
  16.  
  17.  
  18.  
  19. - resizeable stacks
  20.  
  21. - automatic stack reorganization
  22.  
  23. - garbage collection (for functors and the copystack)
  24.  
  25. - TOS interface
  26.  
  27. - GEM predicates (any ideas ???)
  28.  
  29. - special meta-logical predicates such as
  30.  
  31.     ancestor cut
  32.  
  33.     freeze and unfreeze of terms
  34.  
  35.     debugging hooks (for a meta-level debugger)
  36.  
  37. - a good debugger (currently only a simple trace is supplied)
  38.  
  39. - grammar rule translator (cprolog's DCG translator would do, but ...)
  40.  
  41. - .....
  42.  
  43.