Xref: utzoo comp.ai:1386 comp.lang.misc:1088 comp.lang.prolog:591 comp.misc:1977 Path: utzoo!mnetor!uunet!husc6!linus!gatech!gitpyr!parvis From: parvis@pyr.gatech.EDU (FULLNAME) Newsgroups: comp.ai,comp.lang.misc,comp.lang.prolog,comp.misc Subject: constraint satisfaction programming Message-ID: <5070@pyr.gatech.EDU> Date: 23 Feb 88 17:35:25 GMT Organization: Georgia Institute of Technology Lines: 18 Keywords: CLP, constraint satisfaction, logic programming, Prolog I'm looking for some interesting research in the topic of constraint logic programming or constraint satisfaction programming. I'm already familiar with Jaffar's and Lassez' work and also with the Prolog III approach. 1.) Any information about related research, esp. implementation of this paradigm for different other domains than R (as in CLP(R)) are of interest. 2.) I am also interested in applications and experience in any constraint satisfaction based language that may contribute to an evaluation of the constraint satisfaction paradigm. I appreciate any response, Thanks Parvis --- Parvis Avini parvis@gitpyr.gatech.edu