Extended Concurrent Prolog

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 etal, Proc Logic Prog Conf '85, LNCS 193, Springer 1985].