[Next]
[Up]
[Previous]
[Contents]
Next:
Terms
Up:
Syntax
Previous:
Strings
Contents
Abstract Syntax
Subsections
Terms
Types
Formulas
Atomic formulas
Clauses
Definite clause grammar bodies
Goals
Declarations
James Cheney 2003-10-23