------------------------
Universal Turing Machine
------------------------

Taken from the book "Prolog Experiments in Discrete Mathematics, Logic,
and Computability" by James L. Hein

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