Example of top-level interpreter

next up previous contents
Next: Non-logical predicates
Up: Introduction to Prolog for Mathematicians
Previous: The top-level interpreter

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.

Jocelyn Ireson-Ireson-Paine
Mon Jul 17 22:27:41 BST 1995