A minimal extension of the WAM for clp(FD)

The power of partial tanslation: an experiment with the C-ification of binary Prolog

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing

The GNU Prolog system and its implementation

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2

Constraint Retraction in CLP(FD): Formal Framework andPerformance Results

Constraints

A Comparative Study of Eight Constraint Programming LanguagesOver the Boolean and Finite Domains

Constraints

A Constraint Based Structure Description Language for Biosequences

Constraints

GNU Prolog: Beyond Compiling Prolog to C

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages

Schema-Guided Synthesis of CLP Programs

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Constraint Representation for Propagation

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming

Compiling Semiring-Based Constraints with clp (FD, S)

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming

Indexical-Based Solver Learning

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming

To the Gates of HAL: A HAL Tutorial

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming

On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”

Constraints

An interval constraint system for lattice domains

ACM Transactions on Programming Languages and Systems (TOPLAS)

Implementing global constraints as graphs of elementary constraints

Acta Cybernetica

Answer Set Programming with Constraints Using Lazy Grounding

ICLP '09 Proceedings of the 25th International Conference on Logic Programming

GASP: Answer Set Programming with Lazy Grounding

Fundamenta Informaticae - Advances in Computational Logic (CIL C08)

On the implementation of gnu prolog

Theory and Practice of Logic Programming - Prolog Systems

GASP: Answer Set Programming with Lazy Grounding

Fundamenta Informaticae - Advances in Computational Logic (CIL C08)