Next: Basic Operations of a
Up: CLP Program Execution
Previous: CLP Program Execution
- While executing a CLP program, the CLP system
- Chooses clauses to execute
- Solves constraints -- this can (further) instantiate /
constrain variables
- Delays constraints not directly solvable
- Wakes up delayed constraints
- Therefore, there are two (separate) parts:
- A constraint solver
- A control engine
which have their own characteristics and technology
- We will review those two parts
Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es> 
