Concurrent Prolog : collected papers. - Shapiro, Ehud. (MIT Press series in logic programming, 1987)