5 Querying Existing Relations

This chapter outlines some ways to examine, simplify and query relations that you have built.

• 5.1 Relations during and after queries
• 5.2 Printing
• 5.3 Simplification and satisfiability
• 5.4 Querying variables
• 5.5 Iterating through a DNF
• 5.6 Inexact relations