The CLP( ) Programmer's Manual
Version 1.2

NEVIN C. HEINTZE
JOXAN JAFFAR
SPIRO MICHAYLOV
PETER J. STUCKEY
ROLAND H.C. YAP

IBM Thomas J Watson Research Center
PO Box 704
Yorktown Heights, NY 10598, U.S.A.

School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213, U.S.A.

Department of Computer and Information Science
The Ohio State University
Columbus, OH 43210-1277, U.S.A.

Department of Computer Science
University of Melbourne
Parkville, Victoria 3052, Australia

Department of Computer Science
Monash University
Clayton, Victoria 3168, Australia

September 1992

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