Non-Deterministic Concurrent Logic Progr by R. Bahgat