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