PRISM(ID:1053/pri005)

Distributed logic language
References:
  • "PRISM: A Parallel Inference System for Problem Solving", S. Kasif et al, Proc 1983 Logic Prog Workshop, pp.123-152. view details