[comp.lang.prolog] Looking for constraint based language

yasushi@is.s.u-tokyo.ac.jp (SAITO Yasushi) (06/14/91)

  I'm looking for (preferably free) implementation constraint based
logic language. By constraint I mean that the language accepts some
kind of complex equations(or inequations) such as 'Y=X*X'. Any
information are welcome.

--
   Yasushi Saito, Dept. of Information Science, Univ. of Tokyo.