Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!ncar!boulder!csn!news
From: dennis@boulder.Colorado.EDU (Dennis Heimbigner)
Newsgroups: comp.lang.prolog
Subject: Constraints system impl. in Prolog?
Message-ID: <1990Dec20.204852.27980@csn.org>
Date: 20 Dec 90 20:48:52 GMT
Sender: news@csn.org
Organization: University of Colorado, Boulder
Lines: 12
Originator: dennis@dennis.colorado.edu
Nntp-Posting-Host: dennis.colorado.edu


I have just finished the van Hentenryck book ("Constraint
Satisfaction in Logic Programming"), and I am
wondering if there are any constraint systems implemented in prolog
and available on the net via FTP?
It need not be a particularly complete or sophisticated system;
a toy constraint solver would do.

If a prolog version is not available, how about in any language?

-Dennis Heimbigner
dennis@boulder.colorado.edu