Constraint Logic Programming - An Overview
暂无分享,去创建一个
[1] Pascal Van Hentenryck,et al. The Constraint Logic Programming Language CHIP , 1988, FGCS.
[2] Akira Aiba,et al. Introduction to CAL (Extended Abstract) , 1800 .
[3] Hassan Aït-Kaci,et al. LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..
[4] Joxan Jaffar,et al. Methodology and Implementation of a CLP System , 1987, ICLP.
[5] Pascal Van Hentenryck,et al. Solving a Cutting-Stock Problem in Constraint Logic Programming , 1988, ICLP/SLP.
[6] William Leler,et al. Constraint programming languages: their specification and generation , 1988 .
[7] Fumio Mizoguchi,et al. CS-Prolog: A Generalized Unification Based Constraint Solver , 1987, LP.
[8] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[9] Vijay A. Saraswat,et al. Concurrent constraint programming , 1989, POPL '90.
[10] Jean-Louis Lassez,et al. Simplification and Elimination of Redundant Linear Arithmetic Constraints , 1989, NACLP.
[11] Alain Colmerauer,et al. Opening the Prolog III universe , 1987 .
[12] Pascal Van Hentenryck. A Theoretical Framework for Consistency Techniques in Logic Programming , 1987, IJCAI.
[13] Catherine Lassez,et al. A CLP(R) Options Trading Analysis System , 1988, ICLP/SLP.
[14] Ramachandran Bharath,et al. An introduction to Prolog , 1986 .
[15] Roland H. C. Yap,et al. Constraint Logic Programming and Option Trading , 1987, IEEE Expert.
[16] 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.
[17] Michael J. Maher,et al. Constraint Hierarchies and Logic Programming , 1989, ICLP.
[18] Clifford Walinsky,et al. CLP(Sigma*): Constraint Logic Programming with Regular Sets , 1989, ICLP.
[19] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.
[20] Gert Smolka. Logic Programming over Polymorphically Order-Sorted Types , 1989 .
[21] Michael J. Maher,et al. Reactive Behaviour Semantics for Concurrent Constraint Logic Programs , 1989, NACLP.
[22] Pascal Van Hentenryck,et al. Solving the Car-Sequencing Problem in Constraint Logic Programming , 1988, ECAI.
[23] Jean-Louis Lassez. Parametric queries, linear constraints and variable elimination , 1990, DISCO.
[24] Pascal Van Hentenryck,et al. Simulation of Hybrid Circuits in Constraint Logic Programming , 1989, IJCAI.
[25] Joxan Jaffar,et al. From Unification to Constraints , 1987, LP.
[26] Jean-Louis Lassez,et al. Applications of a Canonical Form of Gerneralized Linear Constraints , 1988, FGCS.
[27] Pascal Van Hentenryck,et al. Forward Checking in Logic Programming , 1987, ICLP.
[28] Bjørn N. Freeman-Benson,et al. An incremental constraint solver , 1990, CACM.
[29] Guy L. Steele,et al. The definition and implementation of a computer programming language based on constraints , 1980 .