Extended Concurrent Prolog

from The Free On-line Dictionary of Computing (8 July 2008)

Extended Concurrent Prolog

   <language> (ECP) {Concurrent Prolog} with {OR parallelism},
   {set abstraction} and {meta-inference} features.

   ["AND-OR Queuing in Extended Concurrent Prolog", J. Tanaka et
   al, Proc Logic Prog Conf '85, LNCS 193, Springer 1985].

   (1994-12-01)