Clark , Keith and Gregory, Steve "PARLOG: parallel programming in logic"

(1986) TOPLAS 8(1) January 1986 The MIT Press scientific computation series  

Languages mentioned Parlog {1983}