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

Inspired by The Art of Prolog Section 18.2 Partial Reduction

The tests are at http://josd.github.io/eye/reasoning/preduction/test
