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