Constraint logic programming: a survey

The Journal of Logic Programming

Volumn 19-20, Issue SUPPL. 1, 1994, Pages 503-581

  Jaffar, Joxan ^a   Maher, Michael J ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; CONSTRAINT THEORY; PROGRAMMING THEORY; STATE ASSIGNMENT;

COMMON FUNDAMENTAL CONCEPTS; CONSTRAINT LOGIC PROGRAMMING (CLP); CONSTRAINT SOLVING;

LOGIC PROGRAMMING;

EID: 4243532938     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-1066(94)90033-7     Document Type: Article

References (268)

1. Temporal Logic Programming
2. Extending CHIP to Solve Complex Scheduling and Packing Problems
3. Overview of the CHIP Compiler System
4. Constraint Logic Programming Language CAL
5. An Algebraic Semantics Approach to the Effective Resolution of Type Equations
6. LOGIN A Logic Programming Language with Built-In Inheritance
7. Le Fun: Logic Equations and Functions
8. Towards a Meaning of LIFE
9. A Feature-Based Constraint System for Logic Programming with Entailment
10. Average-Case Analysis of Unification Algorithms
11. Towards a Theory of Declarative Knowledge
12. A Parallelization of the Constraint Logic Programming Language 2LP
13. 2LP: A Highly Parallel Constraint Logic Programming Language
14. Oracle Semantics for Prolog
15. Proving Termination Properties of Prolog: A Semantic Approach
16. Temporal Deductive Databases
17. Boolean Algorithms in PROLOG III
18. Boolean Pseudo-Equations in Constraint Logic Programming
19. A Financial Model Using Qualitative and Quantitative Knowledge
20. Solving Financial Decision Problems with CHIP
21. Industrial Disposing Problem Solved in CHIP
22. Logic Programming with Pseudo-Boolean Constraints
23. Non-Monotonic Concurrent Constraint Programming
24. A Fully Abstract Model for Concurrent Constraint Programming
25. Solving a Real Life Exams Problem Using CHIP
26. The Programming Language Aspects of ThingLab A Constraint-Oriented Simulation Laboratory
27. Constraint Hierarchies and Logic Programming
28. Contributions to the Semantics of Open Logic Programs
29. Inference of Inequality Constraints in Logic Programs
30. Toward Practical Constraint Databases
31. Application of CLP to Asset and Liability Management in Banks
32. Graph Based Algorithms for Boolean Function Manipulation
33. Temporal Logic Programming and its Relation to Constraint Logic Programming
34. Temporal Logic Programming with Bounded Universal Modality Goals
35. Constraint-Based Programming: A Survey
36. Parallel Execution Models and Algorithms for Constraint Logic Programming over a Real-Number Domain
37. Parallel Execution of CLP-R Programs
38. A Resolution Principle for Clauses with Constraints
39. Embedding Boolean Expressions into Logic Programming
40. Freeze, Indexing and other Implementation Issues in the WAM
41. Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques
42. Contraction of Finite Systems of Linear Inequalities
43. Interoperability Analysis by Symbolic Simulation
44. Applying CHIP to a Complex Scheduling Problem
45. Constructive Negation Based on Completed Database
46. Variable Elimination in Linear Constraints
47. Extended Horn Sets in Propositional Logic
48. Negation as Failure
49. Boolean Constraint Solving Using clp(FD)
50. On the Design of Meta(F) and its Applications in Air Traffic Control
51. Constraint Logic Programming Languages
52. Prolog-II Manuel de Reference et Modele Theorique
53. Prolog and Infinite Trees
54. Prolog in 10 Figures
55. Equations and Inequations on Finite and Infinite Trees
56. Opening the Prolog III Universe
57. Prolog III Reference and Users Manual
58. An Introduction to Prolog III
59. Naive Solving of Non-Linear Constraints
60. Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers
61. Fundamental Properties of Infinite Trees
62. A new Perspective on Integrating Functions and Logic Languages
63. Intelligent Backtracking for CLP Languages, An Application to CLPR
64. A CLP Language Handling Disjunctions of Linear Constraints
65. Static Inference of Modes and Data Dependencies in Logic Programs
66. Functional Computations in Logic Programs
67. A Minimal Extension of the WAM for clp(FD)
68. The Constraint Logic Programming Language CHIP
69. Solving a Cutting-Stock Problem in CLP
70. Solving Large Combinatorial Problems in Logic Programming
71. Embedding Extensional Finite Sets in CLP
72. Constraint-Based Animation: Temporal Constraints in the Animus System
73. The Filter Browser: Defining Interfaces Graphically
74. Absys: The First Logic Programming Language—A Retrospective and Commentary
75. Quantitative Deduction and Its Fixpoint Theory
76. Temporal and Modal Logic
77. Factory Scheduling Using Finite Domains
78. On the Semantics of Optimization Predicates in CLP Languages
79. Declarative Modelling of the Operational Behavior of Logic Languages
80. Experiences from a Large Industrial Circuit Design Application
81. REF-ARF: A System for Solving Problems Stated as Procedures
82. A Kripke-Kleene Semantics for Logic Programs
83. Analyse des Travaux de l'Academie Royale des Sciences, PendantL'Annee 1824, Partie Mathematique
84. Translation of a Report by Fourier on his Work on Linear Inequalities
85. Constraint Imperative Programming
86. Constraint Simplification Rules
87. Constraint Logic Programming—An Informal Introduction
88. Modeling Answer Constraints in Constraint Logic Programs
89. Replay, Recovery, Replication and Snapshots of Nondeterministic Concurrent Programs
90. The Prince Project and Its Applications
91. A Practical Approach to the Global Analysis of Constraint Logic Programs
92. Independence in Constraint Logic Programs
93. Negation as Failure Using Tight Derivations for General Logic Programs
94. Unfounded Sets and Well-Founded Semantics for General Logic Programs
95. The Stable Model Semantics for Logic Programming
96. Echidna: A Constraint Logic Programming Shell
97. CLP(R) and Some Electrical Engineering Problems
98. Building Visual Language Parsers
99. Constraint-Based Query Optimization for Spatial Databases
100. Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys
101. Constraint Logic Programming
102. Constraint Satisfaction Using Constraint Logic Programming
103. Special Issue on Constraint Logic Programming
104. The Cardinality Operator: A New Logical Connective and Its Application to Constraint Logic Programming
105. Operational Semantics of Constraint Logic Programming over Finite Domains
106. Standard Forms for Rational Linear Arithmetics in Constraint Logic Programming
107. Design, Implementations and Evaluation of the Constraint Language cc(FD)
108. Functional Constraints in CLP Languages
109. Definite Relations over Constraint Languages
110. A CLP System for Solving Partial Differential Equations with Applications to Options Valuation
111. RISC-CLP(Real): Logic Programming with Non-Linear Constraints over the Reals
112. On Sentences Which are True of Direct Unions of Algebras
113. A CLP (R) Options Trading Analysis System
114. Practical Issues on the Projection of Polyhedral Sets
115. Variable Elimination for Disequations in Generalized Linear Constraint Systems
116. Fourier's Elimination: Which to Choose?
117. Efficient Unification over Infinite Terms
118. Minimal and Complete Word Unification
119. Constraint Logic Programming
120. Constraint Logic Programming
121. A Theory of Complete Logic Programs with Equality
122. A Logic Programming Language Scheme
123. Projecting CLP(σ) Constraints
124. The CLP(R) Language and System
125. A Methodology for Managing Hard Constraints in CLP Systems
126. An Abstract Machine for CLP(R)
127. Canonical Logic Programs
128. Programming Paradigms of the Andorra Kernel Language
129. Some Global Compile-Time Optimizations for CLP(R)
130. Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry
131. Floor Planning Applications in CLP(R)
132. A Polynomial Algorithm in Linear Programming
133. Propagation of Constraints Applied to Circuit Synthesis
134. Journal of Computer and System Sciences
135. Indexing for Data Models with Constraints and Classes
136. Propagating Constraints in Recursive Deductive Databases
137. Analysis Based Constraint Query Optimization
138. How Good is the Simplex Algorithm?
139. On Conjunctive Queries Containing Inequalities
140. Complexity of Unification in Free Groups and Free Semigroups
141. A Framework for Testing Safety and Effective Computability of Extended Datalog
142. Algebraic Languages for Mathematical Programming
143. Negation in Logic Programming
144. Contribution of Logic Programming to support Telecommunications Protocol Tests
145. Constraint Logic Programming for the Analysis and Partial Synthesis of Truss Structures
146. Constraint Logic Programming: a Tutorial
147. Constraint Logic Programming and Options Trading
148. Symbolic and Numeric Computation for Artificial Intelligence
149. Simplification and Elimination of Redundant Linear Arithmetic Constraints
150. Unification Revisited
151. Explicit Representation of Terms Defined by Counter Examples
152. A Canonical Form for Generalized Linear Constraints
153. A Constraint Sequent Calculus
154. A Language and a Program for Stating and Solving Combinatorial Problems
155. Distributed Constraint Logic Programming
156. APPLAUSE: Applications Using the ElypSys Parallel CLP System
157. Making Prolog More Expressive
158. 2LP: A Logic Programming and Linear Programming System
159. Redundancy of Variables in CLP (R)
160. The Decision Problem for Some Classes of Sentences Without Quantifiers
161. Logic Semantics for a Class of Committed-Choice Programs
162. Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees
163. A CLP View of Logic Programming
164. A Transformation System for Deductive Database Modules with Perfect Model Semantics
165. A Logic Programming View of CLP
166. Expanding Query Power in CLP Languages
167. The Problem of Solvability of Equations in a Free Semigroup
168. On the Complexity of Unification Sequences
169. Flang and Its Implementation
170. The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering
171. Optimising Compilation for CLP(R)
172. Boolean Unification—The Story So Far
173. Higher-Order Logic Programming as Constraint Logic Programming
174. Design and Implementation of Practical Constraint Logic Programming Systems
175. A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
176. Higher-Order Logic Programming
177. Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming
178. Anadic Tuples in Prolog
179. Magic Conditions
180. Automating Control for Logic Programs
181. Negation and Control in PROLOG
182. JUNO, A Constraint Based Graphics System
183. Hybrid Systems and Constraint Logic Programming
184. Programming in CLP(BNR)
185. Linear Unification
186. Logic Programming in the LF Logical Framework
187. Generalized Constraint Propagation over the CLP Scheme
188. On the Declarative Semantics of Deductive Databases and Logic Programs
189. Incremental Algorithms for Constraint Solving and Entailment over Rational Trees
190. Magic Templates: A Spellbinding Approach to Logic Programs
191. A Categorized Bibliography on Incremental Computation
192. The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler
193. A First Exploration of PrologIII's Capabilities
194. Safety of Datalog Queries over Infinite Databases
195. CP as a General-Purpose Constraint-Language
196. A Somewhat Logical Formulation of CLP Synchronization Primitives
197. Concurrent Constraint Programming Languages
198. The Category of Constraint Systems is Cartesian-Closed
199. Detecting Stable Properties of Networks in Concurrent Logic Programming Languages
200. Semantic Foundation of Concurrent Constraint Programming
201. Computing Soft Constraints by Hierarchical Constraint Logic Programming
202. Domains for Denotational Semantics
203. A Subset of Concurrent Prolog and Its Interpreter
204. Logic Programs with Uncertainties: A Tool for Implementing Expert Systems
205. Unification Theory
206. Propositional Calculus Problems in CHIP
207. Formal Verification of Multipliers
208. Test Generation Using the Constraint Logic Programming Language CHIP
209. Using an Extended Prolog for Digital Circuit Design
210. Using Logic Programming for Fault Diagnosis in Digital Circuits
211. Technology Mapping in CHIP
212. Verification of Digital Circuits Using CHIP
213. Circuit Verification in Chip: Benchmark Results
214. CLP and Spacecraft Attitude Control
215. Residuation and Guarded Rules for Constraint Logic Programming
216. Records for Logic Programming
217. Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints
218. Pushing Constraint Selections
219. Forward Reasoning and Dependency Directed Backtracking in a System for Computer Aided Circuit Analysis
220. A Transformational Approach to Configuration Design
221. CONSTRAINTS—A Language for Expressing Almost Hierarchical Descriptions
222. The Implementation and Definition of a Computer Programming Language Based on Constraints
223. Automated Deduction by Theory Resolution
224. Incremental Linear Constraint Solving and Detection of Implicit Equalities
225. Constructive Negation for Constraint Logic Programming
226. Kinematic Synthesis with Configuration Spaces
227. A Man-Machine Graphical Communication System
228. LIPS on a MIPS: Results from a Prolog Compiler for a RISC
229. Parallel Constraint Logic Programming Language GDCC and Its Parallel Constraint Solvers
230. Knowledge Representation in the Harmony Intelligent Tutoring System
231. Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers
232. Why and How in the ElipSys OR-Parallel CLP System
233. Average-case Analysis of Algorithms and Data Structures
234. The Constraint Language Trilogy: Semantics and Computations
235. Types of Trilogy
236. CLP (σ∗): Constraint Logic Programming with Regular Sets
237. A Computable Semantics for General Logic Programs
238. Applying Constraints for Scheduling
239. An Abstract PROLOG Instruction Set
240. Hierarchical Constraint Logic Programming
241. Restriction Site Mapping in CLP(R)
242. A Constraint Logic Programming Framework for Constructing DNA Restriction Maps
243. Contributions to CLP(R)