zlacker

No, eurisko nobody has :) The version of AM I have was written by one of my professors at the University of Texas Austin, and is in an ancient dialect of prolog. I'm not sure if it was ok to redistribute. Let me check.

I got it working on gprolog last week, but it seems to cause stack overflows :(

>>akkart+(OP)
> No, eurisko nobody has :)

So why is that? Does Lenat not want anyone to see it? Or was the code lost?

BTW am I right in presuming that the original AM was written in Lisp?

>>cabala+H2
Yes, the original papers indicate it was in lisp. "Why AM appears to work" suggested that a lot of the reason math was a good domain for discovery was just that lisp is well-suited to the domain. And Eurisko could modify heuristics expressed as s-expressions.

People have asked him, but I'm not aware of Lenat ever commenting on the source code. Cycorp is substantially funded by DARPA, and I wouldn't be surprised if Eurisko is part of its IP now.

Feel free to email me to take this offline.