<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)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Extended BNF « Extended C++ « Extended Capabilities Port « Extended Concurrent Prolog » Extended Data Out Dynamic Random Access Memory » Extended Data Out Random Access Memory » Extended Fortran Language
