Prolog
Bonjour, vous êtes venu ici pour chercher la signification du mot Prolog. Dans DICTIOUS, vous trouverez non seulement toutes les significations du dictionnaire pour le mot Prolog, mais vous apprendrez également son étymologie, ses caractéristiques et comment dire Prolog au singulier et au pluriel. Tout ce que vous devez savoir sur le mot Prolog est ici. La définition du mot Prolog vous aidera à être plus précis et correct lorsque vous parlerez ou écrirez vos textes. Connaître la définition deProlog, ainsi que celles d'autres mots, enrichit votre vocabulaire et vous fournit des ressources linguistiques plus nombreuses et de meilleure qualité.
: prolog
Français
Étymologie
- Mot-valise de programmation et logique.
Nom propre
| Singulier | Pluriel |
|---|---|
| Prolog | Prologs |
| \pʁɔ.lɔɡ\ | |
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 »
- France (Lyon) : écouter « Prolog »
- France (Toulouse) : écouter « Prolog »
- France (Vosges) : écouter « Prolog »
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 )- 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".