Distributed memory implementation of KLIC

This publication has 7 references indexed in Scilit:

• A portable and efficient implementation of KL1
  Published by Springer Nature ,1994
• A new external reference management and distributed unification for KL1
  New Generation Computing, 1990
• Design of the Kernel Language for the Parallel Inference Machine
  The Computer Journal, 1990
• An efficient reference counting solution to the distributed garbage collection problem
  Parallel Computing, 1989
• An efficient garbage collection scheme for parallel computer architectures
  Lecture Notes in Computer Science, 1987
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• Guarded horn clauses
  Published by Springer Nature ,1986