Solving logic problems

coder0xff
33 ●2 ●5

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 Answer

Sort by » oldest newest most voted

sage: Mary, Tom, Sue = var('Mary Tom Sue')
sage: assume(Mary > Tom)
sage: assume(Tom > Sue)
sage: bool(Mary > Sue)
True

Please start posting anonymously - your entry will be published after you log in or create a new account.

1 follower

Asked: 2013-04-27 15:48:08 +0100

Seen: 628 times

Last updated: Apr 27 '13