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.