Page 1 of 1

anyone use unify?

Posted: Wed Jan 31, 2007 6:09 pm
by cormullion
Does anyone use unify? I'm interested. I've read the manual, and worked through the example there (and looked at the wikipedia too). While I think I can understand what's going on, what I can't yet see is how you would use it, apart from deducing that Einstein studied physics...

Does anyone use it this way with hundreds of rules and facts as part of a real 'logic' system? Or does unify have other uses, in areas such as maths or text processing or network stuff? I can't get my head round other applications for this technique...