CP

A concurrent Prolog

"The Concurrent Logic Programming Language CP": Definition and Operational Semantics", V. Saraswat, Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages, ACM 1987, pp.49-62.