Abstract Machines for Logic Programs

Based on conversations with [Rob Simmons. Reader prerequisites: comfortable with inference rules, peano notation, state machines.] The following inference...