[Next]
[Up]
[Previous]
[Contents]
Next:
Syntax
Up:
Prolog User's Guide &
Previous:
Directives
Contents
Language Reference
Subsections
Syntax
Lexical Structure
Whitespace
Comments
Directives
Symbols
Keywords
Delimiters
Operators
Identifiers
Literals
Booleans
Integers
Characters
Strings
Abstract Syntax
Terms
Types
Formulas
Atomic formulas
Clauses
Definite clause grammar bodies
Goals
Declarations
Type System
Basic Types
Compound Types
Polymorphism
Language Extensions
Libraries
Base
List
Option
James Cheney 2003-10-23