Architecture of a Reduction-Based Parallel Inference Machine: PIM-R

A new implementation technique for applicative languages

David A. Turner · Software Practice and Experience · 1979 · 612 citations

Computing, Computer Science, Compilers +12

PARLOG: parallel programming in logic

Keith Clark, Steven Gregory · ACM Transactions on Programming Languages and Systems · 1986 · 327 citations · Full text

Computing, Computer Science, Parallel Algorithms +11

The Architecture of a Parallel Inference Engine - PIE.

Tohru Moto-Oka, Hidehiko Tanaka, Hitoshi Aida et al. · Future Generation Computer Systems · 1984 · 29 citations

Computing, Computer Engineering, Computer Science +12

Analysis of sequential PROLOG programs

Rikio Onai, Hajime Shimizu, Kanae Masuda et al. · The Journal of Logic Programming · 1986 · 19 citations

Computing, Computer Science, Compilers +11