On 6/2/07, jerzy.karczmarczuk@info.unicaen.fr <
jerzy.karczmarczuk@info.unicaen.fr> wrote:
(... and showing an example of a simple-minded simplifier
and symbolic differentiator. The unification was presented as a powerful
pattern-matcher, being able to instanciate logic variables, and test the
coherence within patterns sharing the same elements (which is not possible
in Haskell, and *much* less efficient than the Haskell pattern-matcher,
for formal reasons). It *WORKED*. ...)
(... A good deal of Prolog non-determinism can be efficiently and nicely
simulated in Haskell using the list Monad.
You have brought up prolog, unification, etc .. and knowing this is the
Haskell board, just wondering what anyones thoughts on the hybrid
haskell based language CURRY, for these kind of problems. It
seems that it's development is stalled... and sorry ahead of time if I
am wrong on that point. Just seems that if it were firing on all
cylinders and had implemented all of the "type" magic of the Haskell
implementations ..it it wouldn't be great for doing symbolic
manipulations.. any comments on that?? or has anyone out there ever
taken a look at Curry in any comprehensive way. Just seems really
interesting and I have fired it up just enough to see that it works,
but I was only doing things with it to test and they were ALL things
that I brought over from Haskell...
Sorry if this is sorta off topic, but...
gene