Logic Programming and Compiler Writing (1980) [pdf]
If you&#x27;d like to see a much smaller worked example of an assembler and machine, I built a Prolog implementation of the reddit dailyprogrammer challenge &quot;Halt Machine&quot; a few years ago. My code is here:<p><a href="https:&#x2F;&#x2F;github.com&#x2F;fusiongyro&#x2F;dailyprogrammer&#x2F;tree&#x2F;master&#x2F;2013&#x2F;05&#x2F;22-halt-simulation" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;fusiongyro&#x2F;dailyprogrammer&#x2F;tree&#x2F;master&#x2F;20...</a><p>The challenge itself is here:<p><a href="https:&#x2F;&#x2F;www.reddit.com&#x2F;r&#x2F;dailyprogrammer&#x2F;comments&#x2F;1euacb&#x2F;052213_challenge_125_intermediate_halt_its&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.reddit.com&#x2F;r&#x2F;dailyprogrammer&#x2F;comments&#x2F;1euacb&#x2F;052...</a>