Araujo, L. SOME ESSENTIAL SIDE-EFFECTS OF PROLOG ON A DISTRIBUTED IMPLEMENTATION. Comput. Inform. 2012, 19, 147-167.