Welcome back! You will be happy to hear that this time we are equipped with much better audio recording equipment! In this episode Regan and Phil continue the inaugural series of Models of Computation with a dive into the paradigm of logic programming. They explore the different implementation flavours, real world applications, and dive further into the philosophical ramifications of infinite Turing Machines, Digital Physics and the computable universe by means of logic constructs! Next time we take a detour into something a little different with trading algorithms.