A Versatile Module System for Prolog Mapped to Flat Prolog. - Isambo Karali; Evangelos Pelecanos; Constantin Halatsis (SAC, 1993)