Download Topic: lang/prolog/impl/clp/ Summary: Constraint Logic

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

page
1
page
2
Document related concepts
no text concepts found
Transcript 
Topic:
lang/prolog/impl/clp/
Summary:
Constraint Logic Programming implementations
Description:
Sources for a large collection of implementations of constraint
logic programming languages.
CD-ROM:
Prime Time Freeware for AI, Issue 1-1
Keywords:
CLP, Programming Languages!CLP, Prolog!Implementations
Contains:
clp_fd/
cup/
Prolog
clp(FD): Prolog and Constraints over Finite Domains and
Booleans
cu-Prolog III: Constraint Logic Programming Language cu-
See Also:
?
References:
Bennaceur, Hachemi and Gerard Plateau, "An exact algorithm for the
constraint satisfaction problem: Application to logical inference",
Information Processing Letters 48(3):151-158, November 19, 1993.
Cohen, J., "Constraint Logic Programming Languages", Communciations
of the ACM 33(7):52-68, 1992. [Good introduction to CLP and
includes a historical overview.]
Freeman-Benson, B.N., Maloney, J., and Borning, A., "An Incremental
Constraint Solver", Communications of the ACM 33(1):54-63, 1990.
[Includes a good reading list on the history and applications of
constraints.]
Freuder, Eugene C., and Richard J. Wallace, "Partial constraint
satisfaction", Artificial Intelligence 58(1-3):21-70, December 1992.
Van Hentenryck, Pascal, "Constraint Satisfaction in Logic
Programming",
MIT Press, Cambridge, MA, 1989, ISBN 0-262-08181-4.
Jaffar, Joxan and Jean-Louis Lassez, "Constraint Logic Programming",
in
Proceedings of the 14th ACM Symposium on Principles of Programming
Languages (POPL), Munich, Germany, pages 111-119, 1987.
[A longer version appears in Joxan Jaffar and Jean-Louis Lassez,
"Constraint Logic Programming", Technical Report 86-74, Monash
University, Victoria, Australia, June 1986.]
Kumar, Vipin, "Algorithms for Constraint-Satisfaction Problems: A
Survey", AI Magazine 13(1):32-44, 1992.
Mackworth, Alan K., "The logic of constraint satisfaction", Artificial
Intelligence 58:3-20, 1992.
Meseguer, P., "Constraint Satisfaction Problems: An Overview", AICOM
2(1):3-17, 1989.
Steele, Guy L., "The Definition and Implementation of A Computer
Programming Language Based on Constraints", PhD thesis, MIT, 1980.
Tsang, E., "Foundations of constraint satisfaction", Academic Press,
1993.
ISBN 0-12-701610-4.
Zhang, Ying and Alan K. Mackworth, "Constraint Programming in
Constraint Nets", in Position Papers for the First Workshop on
Principles and Practice of Constraint Programming, pages 303-312,
Newport, RI, April 28-30, 1993.
[See also the articles on Constraint Networks (pages 276-285) and
Constraint Satisfaction (pages 285-293) in Shapiro's Encyclopedia
of Artificial Intelligence.]
Related documents