Modula-2
Built on
Prolog
Incorporated some features of
Modula-Prolog (1241)