A distributed logic language.
["PRISM: A Parallel Inference System for Problem Solving", S. Kasif et al, Proc 1983 Logic Prog Workshop, pp. 123-152].
Try this search on Wikipedia, OneLook, Google
Nearby terms: priority inversion « priority queue « priority scheduling « PRISM » Prisoner of Bill » privacy » Privacy Enhanced Mail