Title: HU-PROLOG Author: C.Horn, M.Dziadzka, M.Horn Version: 1.62 Title From: Documentation Author From: Documentation Version From: Documentation Supplier: Andrew Stevens Date: 01/01/96 Keywords: Programming languages ; Prolog Shareware: No Machine: Archimedes Operating system: RISCOS Memory requirements: Peripherals needed: Other s/ware needed: Directory: micros/arch/riscos/e062 Date mounted/updated: 06/02/96 File names: huprolog.arc Unarchived files: 59 Unarchived size: 184 kbytes Omissions: See also: SB-PROLOG (a067), BINPROLOG (d005) ------------------------------------------------------------------------------- Acquiring the package: Download the archive file(s) and extract using SparkPlug 2 (see the "tools_help" file in micros/arch/riscos/tools for further info). Description: HUProlog is an almost 100 per cent straight implementation of standard Edinburgh syntax Prolog as described in Clocksin and Mellish's ``Programming in Prolog'' (Springer Verlag) and a host of other works. HU-Prolog is most definately NOT a toy Prolog. The authors and myself are all professional AI and computer science research workers, and rely on HU-Prolog for a variety of large-scale Prolog programming tasks. It is definately one of the fastest purely interpreted Prolog's around (the only faster one I know of is the Edinburgh NIP implementation). WAM-based compiling Prolog's are faster, but at the price of greatly increased memory requirements. Even then ``real programs'' as opposed to benchmarks rarely run more than twice as fast. Eventually I (or someone else) may port Sicstus or SB Prolog [see a067] for RISC-OS, in the meantime HU is as good as it gets.