home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 3 / TheARMClub_PDCD3.iso / hensa / programming / huprolog_2 < prev    next >
Encoding:
Text File  |  1999-04-27  |  1.7 KB  |  46 lines
  1. Title:            HU-PROLOG
  2. Author:            C.Horn, M.Dziadzka, M.Horn
  3. Version:        1.62
  4. Title From:        Documentation
  5. Author From:        Documentation
  6. Version From:        Documentation
  7. Supplier:        Andrew Stevens <as@aipna.ed.ac.uk>
  8. Date:            01/01/96
  9. Keywords:        Programming languages ; Prolog
  10. Shareware:        No
  11. Machine:        Archimedes
  12. Operating system:    RISCOS
  13. Memory requirements:    
  14. Peripherals needed:    
  15. Other s/ware needed:    
  16. Directory:        micros/arch/riscos/e062
  17. Date mounted/updated:    06/02/96
  18. File names:        huprolog.arc
  19. Unarchived files:    59
  20. Unarchived size:    184 kbytes
  21. Omissions:        
  22. See also:        SB-PROLOG (a067), BINPROLOG (d005)
  23.  
  24. -------------------------------------------------------------------------------
  25.  
  26. Acquiring the package:
  27.  
  28. Download the archive file(s) and extract using SparkPlug 2
  29. (see the "tools_help" file in micros/arch/riscos/tools for further info).
  30.  
  31.  
  32. Description:
  33.  
  34. HUProlog is an almost 100 per cent straight implementation of standard
  35. Edinburgh syntax Prolog as described in Clocksin and Mellish's ``Programming
  36. in Prolog'' (Springer Verlag) and a host of other works.  HU-Prolog is most
  37. definately NOT a toy Prolog.  The authors and myself are all professional AI
  38. and computer science research workers, and rely on HU-Prolog for a variety
  39. of large-scale Prolog programming tasks.  It is definately one of the fastest
  40. purely interpreted Prolog's around (the only faster one I know of is the
  41. Edinburgh NIP implementation).  WAM-based compiling Prolog's are faster, but
  42. at the price of greatly increased memory requirements.  Even then ``real
  43. programs'' as opposed to benchmarks rarely run more than twice as fast.
  44. Eventually I (or someone else) may port Sicstus or SB Prolog [see a067] for
  45. RISC-OS, in the meantime HU is as good as it gets.
  46.