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.
  • A Quick Overview
  • A Quick Tutorial
  • Amzi! Prolog Tools - This section contains user guides and reference material for the tools of Amzi! Prolog.
  • IDE--Interactive Developer's Environment
  • Prolog Projects
  • alis--The Listener
  • The Debugger
  • Debugging Your Programs
  • Memory Management
  • acmp--The Compiler
  • alnk--The Linker
  • arun--Amzi! Runtime
  • Distributing Your Programs
  • Amzi! Prolog Language - This section is a user guide and predicate reference for the Amzi! implementation of Prolog.
  • Prolog Terms
  • Prolog Execution
  • Manipulating Terms
  • Atoms, Lists and Strings
  • Prolog Database
  • Input and Output
  • Definite Clause Grammars (DCG)
  • Runtime and Environment
  • Extended Predicates
  • Predicate Summary

  • Purpose

    This document serves as a User's Guide and Reference Manual for Amzi! Prolog + Logic Server on all supported platforms including:

    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.