pepsy

from The Free On-line Dictionary of Computing (8 July 2008)

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].