-J.-M. Jacquet: Conclog: A Methodological Approach to Cuncurrent Logic Programming, Springer-Verlag 1991