M-Prolog

M-Prolog

(1)
Marseille Prolog.

M-Prolog

(2)
An extension to Prolog involving modules.

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