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 ...