ECP

Extended Concurrent Prolog

Concurrent Prolog with OR parallelism, set abstraction and meta-inference features.

"AND-OR Queueing in Extended Concurrent Prolog", J. Tanaka et al, Proceedings of the Logic Programming Conference '85, Lecture Notes in Computer Science 193, Springer-Verlag, 1985. [???]