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

Last updated: 1994-12-01

Nearby terms:

Extended Concurrent PrologExtended Data Out Dynamic Random Access Memory

Try this search on Wikipedia, Wiktionary, Google, OneLook.