ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 27 Apr 2013 13:20:00 -0500Solving logic problemshttp://ask.sagemath.org/question/10068/solving-logic-problems/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? ThanksSat, 27 Apr 2013 08:48:08 -0500http://ask.sagemath.org/question/10068/solving-logic-problems/Answer by slelievre for <p>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?"</p>
<p>More specifically, is Sage able to do what Prolog does - unification of logic problems? Thanks</p>
http://ask.sagemath.org/question/10068/solving-logic-problems/?answer=14852#post-id-14852 sage: Mary, Tom, Sue = var('Mary Tom Sue')
sage: assume(Mary > Tom)
sage: assume(Tom > Sue)
sage: bool(Mary > Sue)
True
Sat, 27 Apr 2013 13:20:00 -0500http://ask.sagemath.org/question/10068/solving-logic-problems/?answer=14852#post-id-14852