home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 3 / TheARMClub_PDCD3.iso / hensa / programming / binprolog / binprolog_2 < prev    next >
Encoding:
Text File  |  1999-04-27  |  1.9 KB  |  58 lines
  1. Title:            BINPROLOG
  2. Author:            Paul Tarau (tarau@info.umoncton.ca)
  3. Version:        3.30
  4. Title From:        Documentation
  5. Author From:        Documentation
  6. Version From:        Documentation
  7. Supplier:        Al Slater (ams@csd.abdn.ac.uk)
  8. Date:            13/02/95
  9. Keywords:        Programming languages
  10. Shareware:        No
  11. Machine:        Archimedes
  12. Operating system:    RISCOS
  13. Memory requirements:    1600 kbytes
  14. Peripherals needed:    
  15. Other s/ware needed:    
  16. Directory:        micros/arch/riscos/d005
  17. Date mounted/updated:    23/02/95
  18. File names:        patchup3.arc
  19.             patchup3.txt
  20.             binprolog.arc
  21. Unarchived files:    84
  22. Unarchived size:    698 kbytes
  23. Omissions:        
  24. See also:        SB-PROLOG (a067)
  25.  
  26. -------------------------------------------------------------------------------
  27.  
  28. Acquiring the package:
  29.  
  30. Download the archive file(s) and extract using SparkPlug 2
  31. (see the "tools_help" file in micros/arch/riscos/tools for further info).
  32.  
  33.  
  34. Description:
  35.  
  36. BinProlog is a fast and small Prolog compiler, based on the transformation
  37. of Prolog to binary clauses.  The compilation technique is similar to the
  38. Continuation Passing Style transformation used in some ML implementations.
  39. BinProlog is a fairly complete Prolog implementation featuring both C-emulated
  40. execution and generation of standalone applications by compilation to C.
  41.  
  42. Features include:
  43. * C-compatible floating point operations,
  44. * dynamic code, intuitionistic and linear implication,
  45. * efficient high-order programming builtins,
  46. * logical and permanent global variables,
  47. * backtrackable destructive assignment,
  48. * circular term unification,
  49. * extended DCGs (now built in the engine as `invisible grammars'),
  50. * continuation manipulation primitives,
  51. * a garbage-collected hashing based global dictionnary for constant-time
  52.   sparse arrays and graphs,
  53.   * a C-interface etc.
  54.  
  55. Patchup3 is a small patch which includes the standalone executable version
  56. instead of the bytecode interpreter.  It should give a few more LIPS than
  57. the previous version...
  58.