Moded flat GHC and its message-oriented implementation technique

Login: a logic programming language with built-in inheritance

Hassan Aı̈t-Kaci, Roger Nasr · The Journal of Logic Programming · 1986 · 390 citations

Computing, Computer Science, Formal Methods +8

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

Static inference of modes and data dependencies in logic programs

Saumya Debray · ACM Transactions on Programming Languages and Systems · 1989 · 138 citations · Full text

Computing, Computer Science, Algorithms +16

Design of the Kernel Language for the Parallel Inference Machine

Kazunori Ueda · The Computer Journal · 1990 · 92 citations

Computing, Computer Science, Computer Systems +15

Janus: a step towards distributed constraint programming

Vijay Saraswat, Ken Kahn, Jacob Levy · Conference on Logic Programming · 1990 · 85 citations

Computing, Computer Science, Computer Systems +12