Nicolas Alvarez wrote:

> Will it solve simple stuff like "x + 1 = 3" in version 1.5? :)

Probably not.

Logic programming systems like this are more targetted at questions like 
"if Sue is Helen's mother and Helen is Jamie's mother, is James related 
to Helen?" and similar.

Currently the thing has no way to store "facts" and no way to define new 
predicate functions. Once I add that... I will have basically 
reimplemented the Prolog programming language. o_O

(Go look that up on Wikipedia BTW.)

-- 
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*

Post a reply to this message