-----------------
Partial Reduction
-----------------

Inspired by The Art of Prolog Section 18.2 Partial Reduction
