Example of top-level interpreter

Example, using the simple differentiator in symdiff.pl:

d does not simplify its result. The predicate simp does, and we can combine them as if in the tail of a clause:

All the variables that appear in questions are existentially quantified.