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