PRISM

A distributed logic language.

["PRISM: A Parallel Inference System for Problem Solving",

S. Kasif et al, Proc 1983 Logic Prog Workshop, pp. 123-152].