Given a set of rules, for example: 1. Mary is older than Tom, 2. Tom is older than Sue; Can sage solve the question, "is Mary older than Sue?"
More specifically, is Sage able to do what Prolog does - unification of logic problems? Thanks
1 | initial version |
Given a set of rules, for example: 1. Mary is older than Tom, 2. Tom is older than Sue; Can sage solve the question, "is Mary older than Sue?"
More specifically, is Sage able to do what Prolog does - unification of logic problems? Thanks