Distributed logic language.
"CS-Prolog on Multi-Transputer Systems", I. Futo et al, Microprocessors & Microsystems, March 1989.
Try this search on Wikipedia, OneLook, Google
Nearby terms: CSP/80 « CS/PCode « CSP/k « CS-Prolog » CSPS » CSP-S » CS/QCode