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

In addition suitable contents:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ be ] [ C ] [ CA ] [ ca ] [ ch ] [ ci ] [ cl ] [ CR ] [ CRC ] [ de ] [ du ] [ E ] [ ECRC ] [ ed ] [ EP ] [ er ] [ es ] [ et ] [ extend ] [ fi ] [ file ] [ fo ] [ for ] [ h ] [ hr ] [ id ] [ iff ] [ il ] [ in ] [ is ] [ it ] [ Lex ] [ li ] [ M ] [ mo ] [ mod ] [ module ] [ na ] [ ng ] [ O ] [ OR ] [ pa ] [ parallelism ] [ PE ] [ ph ] [ pl ] [ Prolog ] [ query ] [ rc ] [ re ] [ ro ] [ se ] [ si ] [ sm ] [ sy ] [ T ] [ tc ] [ th ] [ us ]