References
- [Aggoun & Beldiceanu 90]
- A. Aggoun and N. Beldiceanu, Time Stamps Techniques for the
Trailed Data in Constraint Logic Programming Systems, Actes du
séminaires Programmation en Logique, Trégastel, France, May 1990.
- [Aggoun & Beldiceanu 93]
- A. Aggoun and N. Beldiceanu, Extending CHIP in order to Solve
Complex Scheduling and Placement Problems, Mathl. Comput. Modelling,
vol. 17, no. 7, pp. 57-73, Pergamon Press Ltd., 1993.
- [Beldiceanu & Contejean 94]
- N. Beldiceanu and E. Contejean, Introducing Global Constraints in CHIP, Mathl. Comput. Modelling,
vol. 20, no. 12, pp. 97-123, Pergamon Press Ltd., 1994.
- [Bryant 86]
- R.E. Bryant, Graph-Based Logarithms for Boolean Function
Manipulation, IEEE Trans. on Computers, August, 1986.
- [Carlsson 90]
- M. Carlsson, Design and Implementation of an OR-Parallel
Prolog Engine, SICS Dissertation Series 02, 1990.
- [Carlsson & Beldiceanu 02]
- M. Carlsson, N. Beldiceanu, Arc-Consistency for a Chain of
Lexicographic Ordering Constraints, SICS Technical Report T2002-18,
2002.
- [Carreiro & Gelernter 89a]
- N. Carreiro and D. Gelernter, Linda in Context, Comm. of
the ACM, 32(4) 1989.
- [Carreiro & Gelernter 89b]
- N. Carreiro and D. Gelernter, How to Write Parallel Programs: A
Guide to the Perplexed, ACM Computing Surveys, September 1989.
- [Clocksin & Mellish 81]
- W.F. Clocksin and C.S. Mellish, Programming in Prolog,
Springer-Verlag, 1981.
- [Colmerauer 75]
- A. Colmerauer, Les Grammaires de Metamorphos, Technical Report,
Groupe d'Intelligence Artificielle, Marseille-Luminy, November, 1975.
- [Colmerauer 90]
- Colmerauer A.: An Introduction to Prolog III,
Communications of the ACM, 33(7), 69-90, 1990.
- [Diaz & Codognet 93]
- D. Diaz and P. Codognet, A Minimal Extension of the WAM for
clp(FD), Proceedings of the International Conference on Logic
Programming, MIT Press, 1993.
- [Elshiewy 90]
- N.A. Elshiewy, Robust Coordinated Reactive Computing in Sandra,
SICS Dissertation Series 03, 1990.
- [Fruehwirth 98]
- Th. Fruehwirth, Theory and Practice of Constraint Handling
Rules, Special Issue on Constraint Logic Programming (P. Stuckey and
K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp
95-138, October 1998.
- [Gorlick & Kesselman 87]
- M.M. Gorlick and C.F. Kesselman, Timing Prolog Programs Without
Clocks, Proc. Symposium on Logic Programming, pp. 426-432, IEEE
Computer Society, 1987.
- [Heintze et al. 87]
- N. Heintze, J. Jaffar, S. Michaylov, P. Stuckey, R. Yap, The CLP(R)
Programmers Manual, Monash University, Clayton, Victoria, Australia,
Department of Computer Science, 1987.
- [Holzbaur 90]
- C. Holzbaur, Specification of Constraint Based Inference Mechanism
through Extended Unification, dissertation, Dept. of Medical
Cybernetics & AI, University of Vienna, 1990.
- [Holzbaur 92a]
- C. Holzbaur, A High-Level Approach to the Realization of CLP
Languages, Proceedings of the JICSLP92 Post-Conference Workshop on
Constraint Logic Programming Systems, Washington D.C., 1992.
- [Holzbaur 92]
- C. Holzbaur, Metastructures vs. Attributed Variables in the
Context of Extensible Unification, in M. Bruynooghe & M. Wirsing
(eds.), Programming Language Implementation and Logic Programming,
Springer-Verlag, LNCS 631, pp. 260-268, 1992.
- [Holzbaur 94]
- C. Holzbaur, A Specialized, Incremental Solved Form Algorithm
for Systems of Linear Inequalities, Austrian Research Institute for
Artificial Intelligence, Vienna, TR-94-07, 1994.
- [Jaffar & Michaylov 87]
- J. Jaffar, S. Michaylov, Methodology and Implementation of a CLP
System, in J.L. Lassez (ed.), Logic Programming--Proceedings of the
4th International Conference--Volume 1, MIT Press, Cambridge, MA,
1987.
- [Kowalski 74]
- R.A. Kowalski, Logic for Problem Solving, DCL Memo 75, Dept of
Artificial Intelligence, University of Edinburgh, March, 1974.
- [Kowalski 79]
- R.A. Kowalski, Artificial Intelligence: Logic for Problem
Solving. North Holland, 1979.
- [McCabe 92]
- F. McCabe, Logic and Objects, Prentice Hall, 1992.
- [Mehlhorn 00]
- K. Mehlhorn and Sven Thiel,
Faster algorithms for bound-consistency of the sortedness
and the alldifferent constraint,
In Sixth Int. Conf. on Principles and Practice of Constraint Programming
(CP2000), LNCS 1894, Springer-Verlag, 2000.
- [O'Keefe 90]
- R.A. O'Keefe, The Craft of Prolog, MIT Press, 1990.
- [Ousterhout 94]
- John K. Ousterhout, Tcl and the Tk Toolkit.
Addison-Wesley, 1994.
- [Pereira & Warren 80]
- F.C.N. Pereira and D.H.D. Warren, Definite clause grammars for
language analysis--a survey of the formalism and a comparison with
augmented transition networks in Artificial Intelligence
13:231-278, 1980.
- [Regin 94]
- J.-C. Regin, A filtering algorithm for constraints of
difference in CSPs, Proc. of the Twelfth National Conference on
Artificial Intelligence (AAAI-94), pp. 362-367, 1994
- [Regin 96]
- J.-C. Regin, Generalized Arc Consistency for Global Cardinality
Constraint, Proc. of the Fourteenth National Conference on Artificial
Intelligence (AAAI-96), 1996.
- [Regin 99]
- J.-C. Regin, Arc Consistency for Global Cardinality with Costs,
Proc. Principles and Practive of Constraint Programming (CP'99),
LNCS 1713, pp. 390-404, 1999.
- [Sellmann 02]
- M. Sellmann, An Arc Consistency Algorithm for the Minimum Weight
All Different Constraint, Proc. Principles and Practive of Constraint
Programming (CP'2002), 2002.
- [Robinson 65]
- J.A. Robinson, A Machine-Oriented Logic Based on the Resolution
Principle, Journal of the ACM 12:23-44, January 1965.
- [Roussel 75]
- P. Roussel, Prolog : Manuel de Reference et d'Utilisation, Groupe
d'Intelligence Artificielle, Marseille-Luminy, 1975.
- [Saraswat 90]
- V. Saraswat, Concurrent Constraint Programming Languages.
PhD thesis, Carnegie-Mellon University, 1990.
- [Sterling & Shapiro 86]
- L. Sterling and E. Shapiro, The Art of Prolog. The MIT Press,
Cambridge MA, 1986.
- [Van Hentenryck 89]
- P. Van Hentenryck, Constraint Satisfaction in Logic Programming,
Logic Programming Series, The MIT Press, 1989.
- [Van Hentenryck et al. 92]
- P. Van Hentenryck, V. Saraswat and Y. Deville,
Constraint processing in cc(FD), unpublished manuscript, 1992.
- [Van Hentenryck & Deville 91]
- P. Van Hentenryck and Y. Deville, The Cardinality Operator:
a new logical connective and its application to constraint logic programming,
In: Eighth International Conference on Logic Programming, 1991.
- [Van Hentenryck et al. 95]
- P. Van Hentenryck, V. Saraswat and Y. Deville,
Design, implementation and evaluation of the constraint language cc(FD).
In A. Podelski, ed., Constraints: Basics and Trends,
LNCS 910. Springer-Verlag, 1995.
- [Warren 77]
- D.H.D. Warren, Applied Logic--Its Use and Implementation as a
Programming Tool, PhD thesis, Edinburgh University, 1977. Available as
Technical Note 290, SRI International.
- [Warren 83]
- D.H.D. Warren, An Abstract Prolog Instruction Set, Technical Note
309, SRI International, 1983.
- [Wirth 76]
- N. Wirth, Algorithms + Data Structures = Programs,
Prentice-Hall, 1976.