Concurrent prolog : - Shapiro, Ehud Y. (MIT Press series in logic programming, 1987)