A concurrent Prolog.
"The Concurrent Logic Programming Language CP": Definition and Operational Semantics", V. Saraswat, 14th POPL, ACM 1987, pp.49-62.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Coursewriter III « cowboy « COWSEL « CP » CPAN » CParaOps5 » CPE
