Um ambiente para exploração de paralelismo na programação em lógica - Yamin, Adenauer Correa (1994)