Modulog "isa" Prolog. - Louis Dewez; E. Mafety (SPLT, 1987)