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