[comp.lang.prolog] Constraints system impl. in Prolog?

dennis@boulder.Colorado.EDU (Dennis Heimbigner) (12/21/90)

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