Hey everyone,
This is a little off-topic, but I just ran into a problem which might
benefit from being attacked by a logic language, so I've been looking
for a good one to try out --- and hopefully one that has a very
efficient implementation since I want to iterate through billions and
possibly trillions of nondeterministically generated solutions. I was
thinking about using Curry, but it looks to me like the language is dead
and hasn't seen much activity for a few years. Does anyone know about
whether there is still much going on over there? Or, alternatively, do
you have any suggestions regarding other logic language/implementations
I should check out? I've also been looking at Prolog but I am having
trouble seeing whether I can process N non-deterministic solutions in
O(1) space (rather than first generating a O(N) size list), and I
checked out Mercury but the documentation for it is a bit sparse.
Thanks!
Greg
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe