GT-Prolog for the Commodore Amiga Appeared in Volume 7/4, November 1994
Grange Technology Limited, have announced a new high performance implementation of Prolog for the Commodore Amiga. Available for any model of Amiga, GT-Prolog combines fast execution speed and low memory overheads with an interactive development environment supporting incremental compilation and debugging of Prolog applications.
GT-Prolog is a full implementation of the Edinburgh dialect widely used by both industry and academia.
GT-Prolog features a full range of data types (32-bit integers, double precision reals, strings etc.) and provides transparent access to sophisticated optimisation techniques including Tail Recursion Optimisation, First Argument Indexing/Hashing, In-line Arithmetic Evaluation and automatic Garbage Collection of code and data. Error handling is based on catch and throw mechanisms. GT-Prolog is also one of the first implementations in the world to support a fully logical Prolog database. GT-Prolog provides explicit control of memory allocation allowing programs up to 16Mb and requires a minimum configuration of 1Mb memory plus Workbench version 2 or later.
GT-Prolog includes the ProBench environment which provides a powerful integrated toolset for the interactive development of Prolog code. ProBench features a fast incremental compiler, a multi-port debugger based on the Byrd model and a source code editor. An in-built break mechanism allows executing programs to be interrupted, modified and subsequently resumed. ProBench is, itself, implemented in Prolog using the same 120-plus library predicates which provide user programs with access to the facilities of AmigaDOS.
The GT-Prolog package includes software on diskette plus A5-format User Guide and Reference Manual totalling 150+ pages. The single user price is 89.95 pounds sterling inclusive of VAT and postage/packing.
For further details contact:
Graham Thwaites Grange Technology Limited Stream Road, Upton, Didcot Oxon. OX11 9JG, UK Tel/Fax: +44 1235 851818 Email: firstname.lastname@example.org CompuServe: 100434,3011