PEPsy

Search:

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