Non-Deterministic Concurrent Logic Progr door R. Bahgat