Next: A More Involved Example
Up: Adding Computation Domains: CLP
Previous: Logic Programming: Prolog
- Usual CLP (other than Prolog) systems include Herbrand terms
- In fact, usually built as extended Prolog systems
- Thus, they inherit all Prolog capabilities
- Plus the added power and flexibility of constraints
- A big advantage: mixing several constraint systems in the same program
- Some allow the user to define their own constraints and
constraint solver
Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es> 
