louise@bilby.cs.uwa.oz.au (Louise Carver) (12/10/90)
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