VDict mobile



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