Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!sun-barr!ccut!s.u-tokyo!yasushi
From: yasushi@is.s.u-tokyo.ac.jp (SAITO Yasushi)
Newsgroups: comp.lang.prolog
Subject: Looking for constraint based language
Message-ID: <1482@utsun.s.u-tokyo.ac.jp>
Date: 14 Jun 91 08:25:53 GMT
Sender: news@s.u-tokyo.ac.jp
Distribution: comp
Organization: Dept. of Infomation Science, Univ. of Tokyo, Japan.
Lines: 8


  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.