Source : Free On-Line Dictionary of Computing

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