Concurrent Prolog: Collected Papers, E.Y. Shapiro (ed.), MIT Press, Cambridge, MA

(1987)