Extended concurrent prolog

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