next up previous contents
Next: Herbrand Terms Up: Adding Computation Domains Previous: A Project Management Problem

Other Constraints and Operations

What we have sketched here is just a brief look at the possibilities available in CLP programming systems: most of them offer a whole gamut of primitive predicates and operations, which implement useful goodies and specialized complex constraints found to be interesting in practical cases. In particular, as an example, Prolog IV has also:



MCL
1998-12-03