Next: CLP in Practice
Up: Adding Computation Domains: CLP
Previous: Data Structures in General
- CLP over Herbrand terms is classically referred to as Logic
Programming
- The programming language Prolog is based on logic programming
ideas, plus:
- Fixed evaluation rules (left-to-right, depth-first)
- Numerous builtins (input/output, execution control,
meta-logic...)
- Interfacing with external language libraries
- Efficient implementations
- ...and much more
- Prolog can be used advantageously for programming symbolic,
complex applications
Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es> 
