Constraint Logic Programming

From the combination of knowledge and actions, someone can improve their skill and ability. It will lead them to live and work much better. This is why, the students, workers, or even employers should have reading habit for books. Any book will give certain knowledge to take all benefits. This is what this constraint logic programming tells you. It will add more knowledge of you to life and work better. Try it and prove it.

[1]  Bibliography , 1963, Pioneer Printer.

[2]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[3]  Gérard Huet,et al.  Constrained resolution: a complete method for higher-order logic. , 1972 .

[4]  Jean-Louis Laurière,et al.  A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..

[5]  Warren D. Goldfarb,et al.  The Undecidability of the Second-Order Unification Problem , 1981, Theor. Comput. Sci..

[6]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[7]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[8]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[9]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[10]  Joxan Jaffar,et al.  Methodology and Implementation of a CLP System , 1987, ICLP.

[11]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[12]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[13]  Alain Colmerauer,et al.  Opening the Prolog III universe , 1987 .

[14]  Michael J. Maher.  Complete axiomatizations of the algebras of finite, rational and infinite trees , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[15]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[16]  Dana S. Scott,et al.  Concurrent constraint programming languages , 1989 .

[17]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[18]  Pascal Van Hentenryck,et al.  Solving Large Combinatorial Problems in Logic Programming , 1990, J. Log. Program..

[19]  Peter J. Stuckey,et al.  Constructive negation for constraint logic programming , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[20]  Maurizio Gabbrielli,et al.  Modeling Answer Constraints in Constraint Logic Programs , 1991, ICLP.

[21]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[22]  Giorgio Levi,et al.  A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs , 1993, Inf. Comput..

[23]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[24]  François Laburthe,et al.  Improved CLP Scheduling with Task Intervals , 1994, ICLP.

[25]  Arabellastrasse,et al.  Constraint Handling Rules ? , 1995 .

[26]  François Fages,et al.  Constructive Negation by Pruning , 1997, J. Log. Program..