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

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