A prolog universal machine implementation made for the Progamming Languages course (IC-4700) in the Costa Rica Institute of Technology.
This code has only been tested with SWI-PROLOG.
The implementation of the universal machine simulator is based on the Turing module by Michael T. Richter.
Petzold, C. (2008). The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine (1st ed.). Wiley.
Turing, A.M. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society. 2 (1937) 42: 230-265.