Abstract machines for logic programs
chrisistyping.bearblog.dev
Based on conversations with [Rob Simmons. Reader prerequisites: comfortable with inference rules, peano notation, state machines.] The following inference...