M-Prolog

1. Marseille Prolog.

2. An extension to Prolog involving modules.

["The MProlog System", J. Bendl et al, Proc Logic Prog Workshop, 1980].