Journal of Logic Programming, Volume 37

Volume 37, Numbers 1-3, October 1998

• Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey: The Semantics of Constraint Logic Programs. 1-46
• Jürgen Dix, Frieder Stolzenburg: A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. 47-76
• Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Automatically Proving Program Properties. 77-93

• Thom W. Frühwirth: Theory and Practice of Constraint Handling Rules. 95-138
• Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). 139-164
• Olivier Lhomme, Arnaud Gotlieb, Michel Rueher: Dynamic Optimization of Interval Narrowing Algorithms. 165-183
• François Fages, Julian Fowler, Thierry Sola: Experiments in Reactive Constraint Logic Programming. 185-212

• Henning Christiansen: Automated Reasoning with a Constraint-Based Metainterpreter. 213-254
• Nirad Sharma, Robert M. Colomb: Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. 255-283