Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!uniwa!bilby.cs.uwa.oz.au!cricket!louise From: louise@bilby.cs.uwa.oz.au (Louise Carver) Newsgroups: comp.lang.lisp Subject: Constraint Logic Programming Query Keywords: CLP, Integer constraints Message-ID: Date: 10 Dec 90 11:08:03 GMT Organization: Dept. Computer Science, University of Western Australia. Lines: 19 I am interested in CLP, as developed at Monash Uni., Victoria, Australia. I have seen their version, CLP(R), which allows real number constraints to be included in prolog-like programs. My query is : has anyone written a constraint-solving logic-base program in Lisp? In particular I am more interested in positive integer constraints, but wish to direct the search of the solution space in ways other than depth-first as in prolog. Any input would be appreciated, Louise. -- __________________________________________________________ "I have no need of friendship, friendship causes pain" - P.Simon, "I am a Rock". ACSnet : louise@cricket.cs.uwa.oz.au ARPA : louise%cricket.cs.uwa.oz.au@uunet.uu.net