to invest in.
So it might be too academic for now but for five years time maybe not.
David
On 29/09/06, Robert Dockins [EMAIL PROTECTED] wrote:
On Sep 28, 2006, at 8:47 PM, David Curran wrote:
Sorry if this comes across as the rant it is. If you are interested in
doing useful stuff rather
Here is a paper on how to do logic programming in Haskell
Deals with a logic puzzle and how the haskell and prolog solutions compare
http://web.engr.oregonstate.edu/~erwig/zurg/
In terms of automated theorem proving here is another paper