M-Prolog 1. Marseille Prolog. 2. An extension to {Prolog} involving {modules}. ["The MProlog System", J. Bendl et al, Proc Logic Prog Workshop, 1980]. (1994-10-31)