Prolog

== Français == === Étymologie === Mot-valise de programmation et logique. === Nom propre === Prolog \pʁɔ.lɔɡ\ masculin Langage de programmation fondé sur le calcul des prédicats du premier ordre. C’est donc cette version extrêmement simplifiée de SL-Resolution (que nous venons de décrire formellement) qui fut adoptée et qui continue d’être la base de tous les Prologs. — (Alain Colmerauer et Philippe Roussel, La naissance de Prolog, page 25, 1992) ==== Traductions ==== === Prononciation === France (Saint-Maurice-de-Beynost) : écouter « Prolog [Prononciation ?] » France (Lyon) : écouter « Prolog [Prononciation ?] » France (Toulouse) : écouter « Prolog [Prononciation ?] » France (Vosges) : écouter « Prolog [Prononciation ?] » === Voir aussi === Prolog sur l’encyclopédie Wikipédia == Allemand == === Étymologie === Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici. === Nom commun === Prolog \pʁoˈloːk\ masculin Prologue. Die Position Russlands hinsichtlich der besetzten Gebiete Krim – die Halbinsel wurde schon 2014 von Russland annektiert – und Donbass – hier hat Moskau im Prolog des Krieges die Separatistengebiete rund um Donezk und Luhansk als unabhängig anerkannt – sei "unverändert". — (Florian Niederndorfer, « Warum Putin (noch) nicht mit Selenskyj reden will », dans Der Standard, 03 avril 2022 [texte intégral]) La position de la Russie concernant les territoires occupés de Crimée - la péninsule a été annexée par la Russie dès 2014 - et du Donbass - où Moscou a reconnu l'indépendance des régions séparatistes autour de Donetsk et Louhansk dans le prologue de la guerre - est "inchangée". === Prononciation === Berlin : écouter « Prolog [pʁoˈloːk] »