[Next]
[Up] [Previous]
[Contents]
Next:
Contents
 
Contents
Prolog User's Guide & Language Reference
Version 0.3
DRAFT
James Cheney
Contents
Introduction
What
Prolog Is For
Background
An Example Program
User's Guide
Tutorial
Running the Interpreter
Built-in Data and Types
Unification and Freshness
Lists and Namespaces
Defining New Types
Predicates
Definitions
Functions
Running
Prolog
Debugging Options
Command Line Options
Directives
Language Reference
Syntax
Lexical Structure
Whitespace
Comments
Directives
Symbols
Literals
Abstract Syntax
Terms
Types
Formulas
Declarations
Type System
Basic Types
Compound Types
Polymorphism
Language Extensions
Libraries
Base
List
Option
About this document ...
James Cheney 2003-10-23