Next:
Introduction
Up:
The CLP() Programmer's Manual
Previous:
The CLP() Programmer's Manual
Contents
Introduction
Syntax and Simple Examples
Terms and Constraints
Some Simple Programs
The Type Issue
Programming in CLP(
)
Preliminaries
Delay of Nonlinear Constraints
The CLP(
) Operational Model
Meta-programming
quote/1
and
eval/1
rule/2, retract/1
and
assert/1
Output
Outline of Algorithm
The
dump
System Predicates
Some Programming Techniques
Using the System
Command Line Arguments
Filenames
Queries
Loading/consulting and reconsulting programs
Style Checking and Warnings
Sample Session
Organization of Consulted Files
Static and Dynamic Code
Debugging Support
Notes on Efficiency
Notes on Formal Correctness
Built-In Facilities
System Predicates
Rulebase
Control
Meta Level
Input/Output
Unix-Related Facilities
Miscellaneous Facilities
Special Facilities
Nonlinear and Delayed Constraints
Pre-Defined Operators
Installation Guide
Portability
Pre-defined Installation Options
Customized Installation
Basic Configuration
Bug Reports and Other Comments
References
Index
Differences from the Monash Interpreter
About this document ...
Alan Borning
Fri Oct 8 12:51:18 PDT 1999