Logical implementation, in Perl and Go, of the computer described in J. Clark Scott's book "But How Do It Know?".
http://buthowdoitknow.com/