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