Abstract Machines for Logic Programs
Based on conversations with [Rob Simmons. Reader prerequisites: comfortable with inference rules, peano notation, state machines.]
The following inference...
The following inference...
Summary not yet generated for this article.
Comments (2 of ) ⌛