Modula-Prolog

A language that adds a Prolog layer to Modula-2.

"Modula-Prolog: A Software Development Tool", C. Muller, IEEE Software pp.39-45 (Nov 1986).