anyone use unify?

For the Compleat Fan
Post Reply
cormullion
Posts: 2037
Joined: Tue Nov 29, 2005 8:28 pm
Location: latiitude 50N longitude 3W
Contact:

anyone use unify?

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

Post Reply