Abstract FR:

On definit tout d'abord une extension du langage prolog compatible avec la syntaxe edimbourg et comprenant: modularite, heritage et genericite. La semantique des aspects principaux de modulog est etablie selon les formes naturelles, denotationnelles et logiques. Une station de genie logiciel est presentee. Elle permet l'execution mixte de code imperatif modula et de specifications executables modulog. Modulog et la station modula ont ete implantes en modula 2. Modules et heritage servent de bases a l'integration des clauses de horn typees puis de l'egalite et des fonctions