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...