Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism
Abstract elided by the publisher.
Related papers
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Dealing with incomplete knowledge on CLP(FD) variable domains TOPLAS 2005
- Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling ESOP 2001
- A Methodology for Managing Hard Constraints in CLP Systems PLDI 1991
- Analytic Constraint Solving and Interval Arithmetic POPL 2000
- A Region-Based Memory Manager for Prolog ISMM 2000
- The Concurrent Language, Shared Prolog TOPLAS 1991
- An interval constraint system for lattice domains TOPLAS 2004