Next:
Preliminaries
Up:
The CLP() Programmer's Manual
Previous:
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
Alan Borning
Fri Oct 8 12:51:18 PDT 1999