Constraint logic programming: a survey

Abadi, 1989, Temporal Logic Programming, Journal of Symbolic Computation, 8, 277, 10.1016/S0747-7171(89)80070-7 Aggoun, 1992, Extending CHIP to Solve Complex Scheduling and Packing Problems, Journées Francophones De Programmation Logique Aggoun, 1993, Overview of the CHIP Compiler System, 421 Aiba, 1988, Constraint Logic Programming Language CAL, Proc. International Conference on Fifth Generation Computer Systems 1988, 263, 10.1007/978-1-4471-3156-4_27 Aït-Kaci, 1986, An Algebraic Semantics Approach to the Effective Resolution of Type Equations, Theoretical Computer Science, 45, 293, 10.1016/0304-3975(86)90047-2 Aït-Kaci, 1991 Aït-Kaci, 1986, LOGIN: A Logic Programming Language with Built-In Inheritance, Journal of Logic Programming, 3, 185, 10.1016/0743-1066(86)90013-0 Aït-Kaci, 1987, Le Fun: Logic Equations and Functions, Proc. Symposium on Logic Programming, 17 Aït-Kaci, 1993, Towards a Meaning of LIFE, Journal of Logic Programming, 16, 195, 10.1016/0743-1066(93)90043-G Aït-Kaci, 1993, Entailment and Disentailment of Order-Sorted Feature Constraints Aït-Kaci, 1993, A General Residuation Framework Aït-Kaci, 1992, A Feature-Based Constraint System for Logic Programming with Entailment, Theoretical Computer Science, Vol. 2, 1012 Albert, 1993, Average-Case Analysis of Unification Algorithms, Theoretical Computer Science, 113, 3, 10.1016/0304-3975(93)90208-B Apt, 1988, Towards a Theory of Declarative Knowledge, 89 Atay, 1992, A Parallelization of the Constraint Logic Programming Language 2LP Atay, 1993, 2LP: A Highly Parallel Constraint Logic Programming Language, Proc. 6th. SIAM Conf. on Parallel Processing for Scientific Computing Barbuti, 1992, Oracle Semantics for Prolog, Proc. 3rd Conference on Algebraic and Logic Programming, 632, 100, 10.1007/BFb0013822 Baudinet, 1988, Proving Termination Properties of Prolog: A Semantic Approach, Proc. 3rd. Symp. Logic in Computer Science, 334 Baudinet, 1993, Temporal Deductive Databases 1993 Benhamou, 1993, Boolean Algorithms in PROLOG III, 307 Benhamou, 1993, Boolean Pseudo-Equations in Constraint Logic Programming, Proc. 10th International Conference on Logic Programming, 517 Berthier, 1989, A Financial Model Using Qualitative and Quantitative Knowledge, Proc. International Symposium on Computational Intelligence, 89, 1 Berthier, 1990, Solving Financial Decision Problems with CHIP, Proc. of the 2nd Conference on Economics and Artificial Intelligence—CECIOA, 2, 233 Bisdorff, 1993, Industrial Disposing Problem Solved in CHIP, Proc. 10th International Conference on Logic Programming, 831 Bockmayr, 1993, Logic Programming with Pseudo-Boolean Constraints, 327 de Boer, 1993, Non-Monotonic Concurrent Constraint Programming, Proc. International Logic Programming Symposium, 315 de Boer, 1991, A Fully Abstract Model for Concurrent Constraint Programming, Proc. of TAPSOFT/CAAP, 296 de Boer, F.S., and Palamidessi, C., Embedding as a Tool for Language Comparison, Information and Computation, to appear. de Boer, F.S., and Palamidessi, C., From Concurrent Logic Programming to Concurrent Constraint Programming, in: Advances in Logic Programming Theory, Oxford University Press, to appear. Boizumault, 1993, Solving a Real Life Exams Problem Using CHIP, Proc. International Logic Programming Symposium, 661 Borning, 1981, The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems, 3, 252, 10.1145/357146.357147 Borning, 1989, Constraint Hierarchies and Logic Programming, Proc. 6th International Conference on Logic Programming, 149 Bossi, 1992, Contributions to the Semantics of Open Logic Programs, Proc. Int. Conf. on Fifth Generation Computer Systems, 570 Brodsky, 1991, Inference of Inequality Constraints in Logic Programs, Proc. ACM Symp. on Principles of Database Systems Brodsky, 1993, Toward Practical Constraint Databases, Proc. 19th International Conference on Very Large Data Bases, 567 Broek, 1991, Application of CLP to Asset and Liability Management in Banks, Computer Science in Economics and Management, 4, 107, 10.1007/BF00436285 Bryant, 1986, Graph Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, 35, 677, 10.1109/TC.1986.1676819 Brzoska, 1991, Temporal Logic Programming and its Relation to Constraint Logic Programming, Proc. International Logic Programming Symposium, 661 Brzoska, 1993, Temporal Logic Programming with Bounded Universal Modality Goals, Proc. 10th International Conference on Logic Programming, 239 Burg, 1990, Constraint-Based Programming: A Survey Burg, 1992, Parallel Execution Models and Algorithms for Constraint Logic Programming over a Real-Number Domain Burg, 1992, Parallel Execution of CLP-R Programs Bürckert, 1990, A Resolution Principle for Clauses with Constraints, Proc. CADE-10, 449, 178 Büttner, 1987, Embedding Boolean Expressions into Logic Programming, Journal of Symbolic Computation, 4, 191, 10.1016/S0747-7171(87)80065-2 Carlsson, 1987, Freeze, Indexing and other Implementation Issues in the WAM, Proc. 4th International Conference on Logic Programming, 40 Carlsson, 1993, Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques, Proc. 10th International Conference on Logic Programming, 647 Černikov, 1963, Contraction of Finite Systems of Linear Inequalities, Doklady Akademiia Nauk SSSR, 152, 1075 Chadra, 1992, Interoperability Analysis by Symbolic Simulation, Proc. JICSLP Workshop on Constraint Logic Programming, 55 Chamard, 1992, Applying CHIP to a Complex Scheduling Problem Chan, 1988, Constructive Negation Based on Completed Database, Proc. 5th International Conference on Logic Programming, 111 Chandru, 1993, Variable Elimination in Linear Constraints, The Computer Journal, 36, 463, 10.1093/comjnl/36.5.463 Chandru, 1991, Extended Horn Sets in Propositional Logic, Journal of the ACM, 38, 205, 10.1145/102782.102789 Chvátal, 1983 Clark, 1978, Negation as Failure, 293 Codognet, 1993, Boolean Constraint Solving Using clp(FD), Proc. International Logic Programming Symposium, 525 Codognet, 1992, On the Design of Meta(F) and its Applications in Air Traffic Control, Proc. JICSLP Workshop on Constraint Logic Programming, 28 Cohen, 1990, Constraint Logic Programming Languages, CACM, 33, 52, 10.1145/79204.79209 Colmerauer, 1982, Prolog-II Manuel de Reference et Modele Theorique Colmerauer, 1982, Prolog and Infinite Trees, 231 Colmerauer, 1983, Prolog in 10 Figures, Proc. 8th International Joint Conference on Artificial Intelligence, 487 Colmerauer, 1984, Equations and Inequations on Finite and Infinite Trees, Proc. 2nd Int. Conf. on Fifth Generation Computer Systems, 85 Colmerauer, 1987, Opening the Prolog III Universe, BYTE Magazine Colmerauer, 1990, Prolog III Reference and Users Manual, PrologIA, Version 1.1 Colmerauer, 1990, An Introduction to Prolog III, CACM, 33, 69, 10.1145/79204.79210 Colmerauer, 1993, Naive Solving of Non-Linear Constraints, 89 Colmerauer, 1993, Workshop on the Principles and Practice of Constraint Programming Corsini, 1993, Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers, Proc. 10th International Conference on Logic Programming, 834 Courcelle, 1983, Fundamental Properties of Infinite Trees, Theoretical Computer Science, 25, 95, 10.1016/0304-3975(83)90059-2 Darlington, 1992, A new Perspective on Integrating Functions and Logic Languages, Proc. of the 3rd International Conference on Fifth Generation Computer Systems, 682 De Backer, 1991, Intelligent Backtracking for CLP Languages, An Application to CLPR, Proc. International Logic Programming Symposium, 405 De Backer, 1993, A CLP Language Handling Disjunctions of Linear Constraints, Proc. 10th International Conference on Logic Programming, 550 Debray, 1989, Static Inference of Modes and Data Dependencies in Logic Programs, ACM Transactions on Programming Languages and Systems, 11, 418, 10.1145/65979.65983 Debray, 1989, Functional Computations in Logic Programs, ACM Transactions on Programming Languages and Systems, 11, 451, 10.1145/65979.65984 Diaz, 1993, A Minimal Extension of the WAM for clp(FD), Proc. 10th International Conference on Logic Programming, 774 Dincbas, 1988, The Constraint Logic Programming Language CHIP, Proc. of the 2nd International Conference on Fifth Generation Computer Systems, 249 Dincbas, 1988, Solving a Cutting-Stock Problem in CLP Dincbas, 1990, Solving Large Combinatorial Problems in Logic Programming, Journal of Logic Programming, 8, 75, 10.1016/0743-1066(90)90052-7 Dovier, 1993, Embedding Extensional Finite Sets in CLP, Proc. International Logic Programming Symposium, 540 Duisburg, 1986, Constraint-Based Animation: Temporal Constraints in the Animus System Ege, 1987, The Filter Browser: Defining Interfaces Graphically, Proc. of the European Conf. on Object-Oriented Programming, 155 Elcock, 1990, Absys: The First Logic Programming Language—A Retrospective and Commentary, Journal of Logic Programming, 9, 1, 10.1016/0743-1066(90)90030-9 van Emden, 1986, Quantitative Deduction and Its Fixpoint Theory, Journal of Logic Programming, 37, 10.1016/0743-1066(86)90003-8 Emerson, 1990, Temporal and Modal Logic, Handbook of Theoretical Computer Science, Vol. B, 995 Evans, 1992, Factory Scheduling Using Finite Domains, 636, 45 Fages, 1993, On the Semantics of Optimization Predicates in CLP Languages, Proc. 13th Conf. on Foundations of Software Technology and Theoretical Computer Science, 10.1007/3-540-57529-4_53 Falaschi, 1989, Declarative Modelling of the Operational Behavior of Logic Languages, Theoretical Computer Science, 69, 289, 10.1016/0304-3975(89)90070-4 Filkorn, 1991, Experiences from a Large Industrial Circuit Design Application, Proc. International Logic Programming Symposium, 581 Fikes, 1970, REF-ARF: A System for Solving Problems Stated as Procedures, Artificial Intelligence, 1, 27, 10.1016/0004-3702(70)90003-2 Fitting, 1985, A Kripke-Kleene Semantics for Logic Programs, Journal of Logic Programming, 4, 295, 10.1016/S0743-1066(85)80005-4 Fourier, 1827, Analyse des Travaux de l'Academie Royale des Sciences, PendantL'Annee 1824, Partie Mathematique, Histoire de l'Academie Royale des Sciences de l'Institut de France, 7, xlvii Kholer, 1973, Translation of a Report by Fourier on his Work on Linear Inequalities, Opsearch, 10, 38 Freeman-Benson, 1991, Constraint Imperative Programming Frühwirth, 1992, Constraint Simplification Rules Früwirth, 1992, Constraint Logic Programming—An Informal Introduction, 636, 3 Gabbrielli, 1991, Modeling Answer Constraints in Constraint Logic Programs, Proc. 8th International Conference on Logic Programming, 238 Gaifman, 1991, Replay, Recovery, Replication and Snapshots of Nondeterministic Concurrent Programs, Proc. 10th ACM Symposium on Principles of Distributed Computation, 10.1145/112600.112621 Gailly, 1992, The Prince Project and Its Applications, 636, 54 de la Banda, 1993, A Practical Approach to the Global Analysis of Constraint Logic Programs, Proc. International Logic Programming Symposium, 437 de la Banda, 1993, Independence in Constraint Logic Programs, Proc. International Logic Programming Symposium, 130 van Gelder, 1988, Negation as Failure Using Tight Derivations for General Logic Programs, 149 van Gelder, 1991, Unfounded Sets and Well-Founded Semantics for General Logic Programs, Journal of the ACM, 38, 620, 10.1145/116825.116838 Gelfond, 1988, The Stable Model Semantics for Logic Programming, Proc. 5th International Conference on Logic Programming, 1070 Havens, 1992, Echidna: A Constraint Logic Programming Shell, Proc. Pacific Rim International Conference on Artificial Intelligence Heintze, 1992, CLP(R) and Some Electrical Engineering Problems, Journal of Automated Reasoning, 9, 231, 10.1007/BF00245462 Helm, 1991, Building Visual Language Parsers, Proc. CHI Helm, 1991, Constraint-Based Query Optimization for Spatial Databases, Proc. 10th ACM Symp. on Principles of Database Systems, 181 van Hentenryck, 1989 van Hentenryck, 1989, Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys, Proc. 6th International Conference on Logic Programming, 165 van Hentenryck, 1991, Constraint Logic Programming, The Knowledge Engineering Review, 6, 151, 10.1017/S0269888900005798 van Hentenryk, 1992, Constraint Satisfaction Using Constraint Logic Programming, Artificial Intelligence, 58, 113, 10.1016/0004-3702(92)90006-J 1993, Special Issue on Constraint Logic Programming, Journal of Logic Programming, 16 van Hentenryck, 1991, The Cardinality Operator: A New Logical Connective and Its Application to Constraint Logic Programming, Proc. International Conference on Logic Programming, 745 van Hentenryck, 1991, Operational Semantics of Constraint Logic Programming over Finite Domains, Proc. Symp. on Programming Language Implementation and Logic Programming, 528, 395, 10.1007/3-540-54444-5_115 van Hentenryck, 1992, Standard Forms for Rational Linear Arithmetics in Constraint Logic Programming, Annals of Mathematics and Artificial Intelligence, 5, 303, 10.1007/BF01543480 van Hentenryck, 1991, Constraint Processing in cc(FD) van Hentenryck, 1993, Design, Implementations and Evaluation of the Constraint Language cc(FD) Hickey, 1993, Functional Constraints in CLP Languages, 355 Höhfeld, 1988, Definite Relations over Constraint Languages, 53 Homiak, 1991, A CLP System for Solving Partial Differential Equations with Applications to Options Valuation Hong, 1993, RISC-CLP(Real): Logic Programming with Non-Linear Constraints over the Reals, 133 Horn, 1951, On Sentences Which are True of Direct Unions of Algebras, Journal of Symbolic Logic, 16, 14, 10.2307/2268661 Huynh, 1988, A CLP (R) Options Trading Analysis System, Proc. 5th International Conference on Logic Programming, 59 Huynh, 1992, Practical Issues on the Projection of Polyhedral Sets, Annals of Mathematics and Artificial Intelligence, 6, 295, 10.1007/BF01535523 Imbert, 1993, Variable Elimination for Disequations in Generalized Linear Constraint Systems, The Computer Journal, 36, 473, 10.1093/comjnl/36.5.473 Imbert, 1993, Fourier's Elimination: Which to Choose?, Proc. 1st Workshop on Principles and Practice of Constraint Programming, 119 Jaffar, 1984, Efficient Unification over Infinite Terms, New Generation Computing, 2, 207, 10.1007/BF03037057 Jaffar, 1990, Minimal and Complete Word Unification, Journal of the ACM, 37, 47, 10.1145/78935.78938 Jaffar, 1986, Constraint Logic Programming Jaffar, 1987, Constraint Logic Programming, Proc. 14th ACM Symposium on Principles of Programming Languages, 111 Jaffar, 1984, A Theory of Complete Logic Programs with Equality, Journal of Logic Programming, 1, 211, 10.1016/0743-1066(84)90010-4 Jaffar, 1986, A Logic Programming Language Scheme, 441 Jaffar, 1993, Projecting CLP(σ) Constraints, New Generation Computing, 11, 449, 10.1007/BF03037187 Jaffar, 1992, The CLP(R) Language and System, ACM Transactions on Programming Languages, 14, 339, 10.1145/129393.129398 Jaffar, 1991, A Methodology for Managing Hard Constraints in CLP Systems, Proc. ACM-SIGPLAN Conference on Programming Language Design and Implementation, 306 Jaffar, 1992, An Abstract Machine for CLP(R), Proc. ACM-SIGPLAN Conference on Programming Language Design and Implementation, 128 Jaffar, 1986, Canonical Logic Programs, Journal of Logic Programming, 3, 143, 10.1016/0743-1066(86)90020-8 Janson, 1991, Programming Paradigms of the Andorra Kernel Language, Proc. International Logic Programming Symposium, 167 Jorgensen, 1991, Some Global Compile-Time Optimizations for CLP(R), Proc. 1991 International Logic Programming Symposium, 420 Jourdan, 1990, Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry, Proc. North American Conference on Logic Programming, 154 Kanchanasut, 1992, Floor Planning Applications in CLP(R), Proc. JICSLP Workshop on Constraint Logic Programming, 36 Khachian, 1979, A Polynomial Algorithm in Linear Programming, Soviet Math. Dokl., 20, 191 de Kleer, 1980, Propagation of Constraints Applied to Circuit Synthesis, Circuit Theory and Applications, 8, 127, 10.1002/cta.4490080206 Kanellakis, P., Lassez, J.-L., and Saraswat, V., (eds.), Principles and Practice of Constraint Programming, MIT Press, to appear. Kanellakis, 1990, Journal of Computer and System Sciences, Proc. 9th ACM Symp. on Principles of Database Systems, 299 Kanellakis, 1993, Indexing for Data Models with Constraints and Classes, Proc. ACM Symp. on Principles of Database Systems Kemp, 1989, Propagating Constraints in Recursive Deductive Databases, Proc. North American Conference on Logic Programming, 981 Kemp, 1993, Analysis Based Constraint Query Optimization, Proc. 10th International Conference on Logic Programming, 666 Klee, 1972, How Good is the Simplex Algorithm?, 159 Klug, 1988, On Conjunctive Queries Containing Inequalities, Journal of the ACM, 35, 146, 10.1145/42267.42273 Koscielski, 1990, Complexity of Unification in Free Groups and Free Semigroups, Proc. 31st Symp. on Foundations of Computer Science, 824, 10.1109/FSCS.1990.89605 Krishnamurthy, 1988, A Framework for Testing Safety and Effective Computability of Extended Datalog, Proc. ACM Symp. on Management of Data, 154 Kuip, 1993, Algebraic Languages for Mathematical Programming, European Journal of Operations Research, 67, 25, 10.1016/0377-2217(93)90320-M Kunen, 1987, Negation in Logic Programming, Journal of Logic Programming, 4, 289, 10.1016/0743-1066(87)90007-0 Ladret, 1993, Contribution of Logic Programming to support Telecommunications Protocol Tests, Proc. 10th International Conference on Logic Programming, 845 Lakmazaheri, 1989, Constraint Logic Programming for the Analysis and Partial Synthesis of Truss Structures, Artificial Intelligence for Engineering Design, Analysis, and Manufacturing, 3, 157, 10.1017/S0890060400001207 Lassez, 1987, Constraint Logic Programming: a Tutorial, BYTE Magazine Lassez, 1987, Constraint Logic Programming and Options Trading, Special Issue on Financial Software, 2, 42 Lassez, 1991, Symbolic and Numeric Computation for Artificial Intelligence Lassez, 1989, Simplification and Elimination of Redundant Linear Arithmetic Constraints, 35 Lassez, 1988, Unification Revisited, 587 Lassez, 1987, Explicit Representation of Terms Defined by Counter Examples, Journal of Automated Reasoning, 3, 301, 10.1007/BF00243794 Lassez, 1992, A Canonical Form for Generalized Linear Constraints, Journal of Symbolic Computation, 13, 1, 10.1016/0747-7171(92)90002-L Lassez, 1990, A Constraint Sequent Calculus, Proc. of Symp. on Logic in Computer Science, 52 Lauriere, 1978, A Language and a Program for Stating and Solving Combinatorial Problems, Artificial Intelligence, 10, 29, 10.1016/0004-3702(78)90029-2 Leler, 1988 Leung, 1993, Distributed Constraint Logic Programming, Vol. 41 Li, 1993, APPLAUSE: Applications Using the ElypSys Parallel CLP System, Proc. 10th International Conference on Logic Programming, 847 Lloyd, 1987 Lloyd, 1984, Making Prolog More Expressive, Journal of Logic Programming, 1, 93, 10.1016/0743-1066(84)90011-6 McAloon, 1989, 2LP: A Logic Programming and Linear Programming System, Brooklyn College Computer Science Technical Report No 1989-21 McDonald, 1993, Redundancy of Variables in CLP (R), Proc. International Logic Programming Symposium, 75 McKinsey, 1943, The Decision Problem for Some Classes of Sentences Without Quantifiers, Journal of Symbolic Logic, 8, 61, 10.2307/2268172 Maher, 1987, Logic Semantics for a Class of Committed-Choice Programs, Proc. 4th International Conference on Logic Programming, 858 Maher, 1988, Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees, Proc. 3rd Symp. Logic in Computer Science, 348 Maher, 1992, A CLP View of Logic Programming, Proc. Conf. on Algebraic and Logic Programming, 632, 364, 10.1007/BFb0013838 Maher, 1993, A Transformation System for Deductive Database Modules with Perfect Model Semantics, Theoretical Computer Science, 110, 377, 10.1016/0304-3975(93)90013-J Maher, 1993, A Logic Programming View of CLP, Proc. 10th International Conference on Logic Programming, 737 Maher, 1989, Expanding Query Power in CLP Languages, Proc. North American Conference on Logic Programming, 20 Makanin, 1977, The Problem of Solvability of Equations in a Free Semigroup, Math. USSR Sbornik, 32, 129, 10.1070/SM1977v032n02ABEH002376 Mannila, 1986, On the Complexity of Unification Sequences, Proc. 3rd International Conference on Logic Programming, 122, 10.1007/3-540-16492-8_69 Mantsivoda, 1993, Flang and Its Implementation, Proc. Symp. on Programming Language Implementation and Logic Programming, 714, 151, 10.1007/3-540-57186-8_77 Marriott, 1993, The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering, Proc. 20th ACM Symp. Principles of Programming Languages, 334 Marriott, 1993 Marriott, 1994, Optimising Compilation for CLP(R), Proc. Australian Computer Science Conf. Martin, 1989, Boolean Unification—The Story So Far, Journal of Symbolic Computation, 7, 275, 10.1016/S0747-7171(89)80013-6 MathLab, 1983 Michaylov, 1993, Higher-Order Logic Programming as Constraint Logic Programming, 1st Workshop on Principles and Practice of Constraint Programming Michaylov, 1992, Design and Implementation of Practical Constraint Logic Programming Systems Miller, 1991, A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification, 457, 253 Miller, 1986, Higher-Order Logic Programming, Proc. 3rd International Conference on Logic Programming, 448, 10.1007/3-540-16492-8_94 Montanari, 1993, Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming, Theoretical Computer Science, 109, 225, 10.1016/0304-3975(93)90069-6 Mukai, 1987, Anadic Tuples in Prolog Mumick, 1990, Magic Conditions, Proc. 9th ACM Symp. on Principles of Database Systems, 314 Naish, 1985, Automating Control for Logic Programs, Journal of Logic Programming, 2, 167, 10.1016/0743-1066(85)90017-2 Naish, 1986, Negation and Control in PROLOG, 238 Nelson, 1985, JUNO, A Constraint Based Graphics System, Computer Graphics, 19, 235, 10.1145/325165.325241 Nerode, 1993, Hybrid Systems and Constraint Logic Programming, Proc. 10th International Conference on Logic Programming, 18 Older, 1993, Programming in CLP(BNR), 1st Workshop on Principles and Practice of Constraint Programming Paterson, 1978, Linear Unification, Journal of Computer and System Sciences, 16, 158, 10.1016/0022-0000(78)90043-0 Pfenning, 1991, Logic Programming in the LF Logical Framework, 149 Podelski, 1993, The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally Le Provost, 1993, Generalized Constraint Propagation over the CLP Scheme, Journal of Logic Programming, 16, 319, 10.1016/0743-1066(93)90047-K Przymusinski, 1988, On the Declarative Semantics of Deductive Databases and Logic Programs, 193 Rajasekar, 1993 Ramachandran, 1993, Incremental Algorithms for Constraint Solving and Entailment over Rational Trees, Proc. 13th Conf. on Foundations of Software Technology and Theoretical Computer Science, 10.1007/3-540-57529-4_54 Ramakrishnan, 1991, Magic Templates: A Spellbinding Approach to Logic Programs, Journal of Logic Programming, 11, 189, 10.1016/0743-1066(91)90026-L Ramalingam, 1993, A Categorized Bibliography on Incremental Computation, Proc. 17th ACM Symp. on Principles of Programming Languages, 502 van Roy, 1990, The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler, Proc. 1990 North American Conference on Logic Programming, 501 Rueher, 1993, A First Exploration of PrologIII's Capabilities, Software—Practice and Experience, 23, 177, 10.1002/spe.4380230204 Sakai, K., Sato, Y., and Menju, S., Boolean Groebner Bases, to appear. Sagiv, 1989, Safety of Datalog Queries over Infinite Databases, Proc. ACM Symp. on Principles of Database Systems, 160, 10.1145/73721.73738 Saraswat, 1987, CP as a General-Purpose Constraint-Language, Proc. AAAI-87 Saraswat, 1988, A Somewhat Logical Formulation of CLP Synchronization Primitives, Proc. 5th International Conference Symposium on Logic Programming, 1298 Saraswat, 1989, Concurrent Constraint Programming Languages 1993 Saraswat, 1992, The Category of Constraint Systems is Cartesian-Closed, Proc. Symp. on Logic in Computer Science, 341 Saraswat, 1988, Detecting Stable Properties of Networks in Concurrent Logic Programming Languages, Proc. 7th ACM Symp. Principles of Distributed Computing, 210 Saraswat, 1991, Semantic Foundation of Concurrent Constraint Programming, Proc. 18th ACM Symp. on Principles of Programming Languages, 333 Saraswat V., A Retrospective Look at Concurrent Logic Programming, in preparation. Satoh, 1993, Computing Soft Constraints by Hierarchical Constraint Logic Programming, Journal of Information Processing, 7 Scott, 1982, Domains for Denotational Semantics, Proc. ICALP, 140 Shapiro, 1983, A Subset of Concurrent Prolog and Its Interpreter Shapiro, 1983, Logic Programs with Uncertainties: A Tool for Implementing Expert Systems, Proc. 8th. IJCAI, 529 Shoenfield, 1967 Siekmann, 1989, Unification Theory, Journal of Symbolic Computation, 7, 207, 10.1016/S0747-7171(89)80012-4 Simonis, 1993, Propositional Calculus Problems in CHIP, 269 Simonis, 1989, Formal Verification of Multipliers Simonis, 1989, Test Generation Using the Constraint Logic Programming Language CHIP, Proc. 6th International Conference on Logic Programming Simonis, 1987, Using an Extended Prolog for Digital Circuit Design, Proc. IEEE International Workshop on AI Applications to CAD Systems for Electronics, 165 Simonis, 1987, Using Logic Programming for Fault Diagnosis in Digital Circuits, Proc. German Workshop on Artificial Intelligence (GWAI-87), 139, 10.1007/978-3-642-73005-4_15 Simonis, 1990, Technology Mapping in CHIP Simonis, 1988, Verification of Digital Circuits Using CHIP, Proc. of the IFIP WG 10.2 International Working Conference on the Fusion of Hardware Design and Verification Simonis, 1989, Circuit Verification in Chip: Benchmark Results, Proc. of the IFIP TC10/WG10.2/WG10.5 Workshop on Applied Formal Methods for Correct VLSI Design, 125 Skuppin, 1992, CLP and Spacecraft Attitude Control, Proc. JICSLP Workshop on Constraint Logic Programming, 45 Smolka, 1993, Residuation and Guarded Rules for Constraint Logic Programming, 405 Smolka, 1992, Records for Logic Programming, Proc. Joint International Conference and Symposium on Logic Programming, 240 Srivastava, 1993, Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints, Annals of Mathematics and Artificial Intelligence, 8, 315, 10.1007/BF01530796 Srivastava, 1993, Pushing Constraint Selections, Journal of Logic Programming, 16, 361, 10.1016/0743-1066(93)90048-L Stallman, 1977, Forward Reasoning and Dependency Directed Backtracking in a System for Computer Aided Circuit Analysis, Artificial Intelligence, 9, 135, 10.1016/0004-3702(77)90029-7 Sthanusubramonian, 1991, A Transformational Approach to Configuration Design Steele, 1980, CONSTRAINTS—A Language for Expressing Almost Hierarchical Descriptions, Artificial Intelligence, 14, 1, 10.1016/0004-3702(80)90032-6 Steele, 1980, The Implementation and Definition of a Computer Programming Language Based on Constraints Stickel, 1984, Automated Deduction by Theory Resolution, Journal of Automated Reasoning, 1, 333 Stuckey, 1991, Incremental Linear Constraint Solving and Detection of Implicit Equalities, ORSA Journal of Computing, 3, 269, 10.1287/ijoc.3.4.269 Stuckey, 1991, Constructive Negation for Constraint Logic Programming, Proc. Logic in Computer Science Conference, 328 Subramanian, 1993, Kinematic Synthesis with Configuration Spaces, Proc. Qualitative Reasoning 1993, 228 Sutherland, 1963, A Man-Machine Graphical Communication System Tarski, 1951 Taylor, 1990, LIPS on a MIPS: Results from a Prolog Compiler for a RISC, Proc. 7th International Conference on Logic Programming, 174 Terasaki, 1992, Parallel Constraint Logic Programming Language GDCC and Its Parallel Constraint Solvers, Proc. International Conference on Fifth Generation Computer Systems 1992, Volume I, 330 Tick, 1993, The Deevolution of Concurrent Logic Programming Languages Tobias, 1988, Knowledge Representation in the Harmony Intelligent Tutoring System Tong, 1993, Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers, Proc. International Logic Programming Symposium, 388 Tsang, 1993 Véron, 1993, Why and How in the ElipSys OR-Parallel CLP System, Proc. Conf. on Parallel Architectures and Languages Europe, 291, 10.1007/3-540-56891-3_23 Vitter, 1990, Average-case Analysis of Algorithms and Data Structures, Vol. A, 431 Voda, 1988, The Constraint Language Trilogy: Semantics and Computations, Complete Logic Systems Voda, 1988, Types of Trilogy, Proc. 5th International Conference on Logic Programming, 580 Walinsky, 1989, CLP (σ∗): Constraint Logic Programming with Regular Sets, Proc. 6th International Conference on Logic Programming, 181 Wallace, 1989, A Computable Semantics for General Logic Programs, Journal of Logic Programming, 6, 269, 10.1016/0743-1066(89)90017-4 Wallace, 1994, Applying Constraints for Scheduling Warren, 1983, An Abstract PROLOG Instruction Set Warren, 1987, The Andorra Principle Wilson, 1993, Hierarchical Constraint Logic Programming, Journal of Logic Programming, 16, 277, 10.1016/0743-1066(93)90046-J Yap, 1991, Restriction Site Mapping in CLP(R), 521 Yap, 1993, A Constraint Logic Programming Framework for Constructing DNA Restriction Maps, Artificial Intelligence in Medicine, 5, 447, 10.1016/0933-3657(93)90036-3 Yap, 1994, Contributions to CLP(R)