PRISM - Distributed logic language. "PRISM: A Parallel Inference System
for Problem Solving", S. Kasif et al, Proc 1983 Logic Prog Workshop,
pp.123-152.
PRISM Programming Language
http://www.programming-languages.co.uk/prism.html
Large list of computer programming languages arranged alphabetically, with explanations.