Abstract machines for logic programs

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