--------------
Turing Machine
--------------

Turing completeness test case.
See http://en.wikipedia.org/wiki/Prolog#Turing_completeness

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