Get the latest tech news
Abstract Machines for Logic Programs
Based on conversations with [Rob Simmons. Reader prerequisites: comfortable with inference rules, peano notation, state machines.] The following inference...
None
Or read this on Hacker News