PEPsy

Prolog extended with parallel modules within which explicit OR-parallelism can be used.

"PEPsy: A Prolog for Parallel Processing", M. Ratcliffe et al, ECRC TR CA-17, 1986.