How to invent a Prolog machine

Some global optimizations for a PROLOG compiler

Chris Mellish · The Journal of Logic Programming · 1985 · 137 citations

Computing, Computer Engineering, Computer Science +14

Mixed computation: potential applications and problems for study

A. P. Ershov · Theoretical Computer Science · 1982 · 136 citations

Computing, Computer Science, Mathematics +6

On the partial computation principle

A. P. Ershov · Information Processing Letters · 1977 · 102 citations

Computing, Computer Science, Mathematics +3

Towards a pipelined Prolog processor

Evan Tick, David H. Warren · New Generation Computing · 1984 · 93 citations

Computing, Computer Engineering, Computer Science +12

A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation.

Raf Venken · European Conference on Artificial Intelligence · 1984 · 67 citations

Computing, Computer Science, Computer Systems +14