Amzi! Prolog User's Guide and Reference
Contents
Getting Started - This section contains an introduction to the Amzi! tools,
a brief tutorial on the use of the product and an overview of the Amzi!
architecture.
Amzi! Prolog Tools - This section contains user guides and reference material
for the tools of Amzi! Prolog.
Amzi! Prolog Language - This section is a user guide and predicate reference
for the Amzi! implementation of Prolog.
Purpose
This document serves as a User's Guide and Reference Manual for Amzi! Prolog
+ Logic Server on all supported platforms including:
- Microsoft Windows 95/98, NT, 2000
- Linux
- Sun Solaris
- HP/UX
Any differences between the supported platforms are noted in the text.
This manual is complete documentation for all editions of Amzi! Prolog +
Logic Server. Portions of the documentation that do not pertain to
certain editions are marked accordingly.
The Amzi! Prolog implementation aims to be very close to the "Edinburgh Standard"
Prolog language, and aims to be ISO compliant. This is described in the widely
available text Programming in Prolog by William Clocksin and Christopher
Mellish, published by Springer-Verlag-hereafter referred to as Clocksin &
Mellish (also available from Amzi!).
This document is not an introduction or tutorial for the Prolog programming
language. For that, we offer Adventure
in Prolog.
Copyright ©1987-2000 Amzi! inc. All Rights Reserved.