ORBIT: A parallel computing model of Prolog

Parallel interpretation of logic programs

John S. Conery, Dennis Kibler · 1981 · 96 citations · Full text

Computing, Computer Engineering, Computer Science +14

PRISM: a parallel inference system for problem solving

Simon Kasif, Madhur Kohli, Jack Minker · International Joint Conference on Artificial Intelligence · 1983 · 28 citations

Computing, Computer Science, Computer Systems +10

A parallel execution model of logic programs

Shinji Umeyama, Koichiro Tamura · 1983 · 27 citations

Computing, Computer Science, Computer Systems +14

Prolog Interpreter Based on Concurrent Programming.

Koichi Furukawa, Katsumi Nitta, Yuji Matsumoto · International Conference on Lightning Protection · 1982 · 12 citations

Computing, Computer Science, Compilers +7