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