PRISM

A distributed logic language.

"PRISM: A Parallel Inference System for Problem Solving", S. Kasif et al, Proceedings of the 1983 Logic Programming Workshop, pp.123-152.