资料来源 : Free On-Line Dictionary of Computing

Extended Concurrent Prolog
     
         (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)