"Prolog" meaning in Français

See Prolog in All languages combined, or Wiktionary

Proper name

IPA: \pʁɔ.lɔɡ\ Audio: LL-Q150 (fra)-Benoît Prieur-Prolog.wav , LL-Q150 (fra)-WikiLucas00-Prolog.wav , LL-Q150 (fra)-Lepticed7-Prolog.wav , LL-Q150 (fra)-Poslovitch-Prolog.wav Forms: Prologs [plural]
  1. Langage de programmation fondé sur le calcul des prédicats du premier ordre.
    Sense id: fr-Prolog-fr-name-urLZF1k9 Categories (other): Exemples en français
The following are not (yet) sense-disambiguated

Inflected forms

{
  "categories": [
    {
      "kind": "other",
      "name": "Langages informatiques en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Mots-valises en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Noms propres en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Français",
      "orig": "français",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "Mot-valise de programmation et logique."
  ],
  "forms": [
    {
      "form": "Prologs",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "name",
  "pos_title": "Nom propre",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en français",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "Alain Colmerauer et Philippe Roussel, La naissance de Prolog, page 25, 1992",
          "text": "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."
        }
      ],
      "glosses": [
        "Langage de programmation fondé sur le calcul des prédicats du premier ordre."
      ],
      "id": "fr-Prolog-fr-name-urLZF1k9"
    }
  ],
  "sounds": [
    {
      "ipa": "\\pʁɔ.lɔɡ\\"
    },
    {
      "audio": "LL-Q150 (fra)-Benoît Prieur-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav.ogg",
      "raw_tags": [
        "France (Saint-Maurice-de-Beynost)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Benoît Prieur-Prolog.wav"
    },
    {
      "audio": "LL-Q150 (fra)-WikiLucas00-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/2/24/LL-Q150_(fra)-WikiLucas00-Prolog.wav/LL-Q150_(fra)-WikiLucas00-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/2/24/LL-Q150_(fra)-WikiLucas00-Prolog.wav/LL-Q150_(fra)-WikiLucas00-Prolog.wav.ogg",
      "raw_tags": [
        "France (Lyon)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-Prolog.wav"
    },
    {
      "audio": "LL-Q150 (fra)-Lepticed7-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/3/39/LL-Q150_(fra)-Lepticed7-Prolog.wav/LL-Q150_(fra)-Lepticed7-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/3/39/LL-Q150_(fra)-Lepticed7-Prolog.wav/LL-Q150_(fra)-Lepticed7-Prolog.wav.ogg",
      "raw_tags": [
        "France (Toulouse)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-Prolog.wav"
    },
    {
      "audio": "LL-Q150 (fra)-Poslovitch-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/ee/LL-Q150_(fra)-Poslovitch-Prolog.wav/LL-Q150_(fra)-Poslovitch-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/ee/LL-Q150_(fra)-Poslovitch-Prolog.wav/LL-Q150_(fra)-Poslovitch-Prolog.wav.ogg",
      "raw_tags": [
        "France (Vosges)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Poslovitch-Prolog.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "word": "Prolog"
}
{
  "categories": [
    "Langages informatiques en français",
    "Mots-valises en français",
    "Noms propres en français",
    "français"
  ],
  "etymology_texts": [
    "Mot-valise de programmation et logique."
  ],
  "forms": [
    {
      "form": "Prologs",
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "name",
  "pos_title": "Nom propre",
  "senses": [
    {
      "categories": [
        "Exemples en français"
      ],
      "examples": [
        {
          "ref": "Alain Colmerauer et Philippe Roussel, La naissance de Prolog, page 25, 1992",
          "text": "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."
        }
      ],
      "glosses": [
        "Langage de programmation fondé sur le calcul des prédicats du premier ordre."
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\pʁɔ.lɔɡ\\"
    },
    {
      "audio": "LL-Q150 (fra)-Benoît Prieur-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav/LL-Q150_(fra)-Benoît_Prieur-Prolog.wav.ogg",
      "raw_tags": [
        "France (Saint-Maurice-de-Beynost)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Benoît Prieur-Prolog.wav"
    },
    {
      "audio": "LL-Q150 (fra)-WikiLucas00-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/2/24/LL-Q150_(fra)-WikiLucas00-Prolog.wav/LL-Q150_(fra)-WikiLucas00-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/2/24/LL-Q150_(fra)-WikiLucas00-Prolog.wav/LL-Q150_(fra)-WikiLucas00-Prolog.wav.ogg",
      "raw_tags": [
        "France (Lyon)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-Prolog.wav"
    },
    {
      "audio": "LL-Q150 (fra)-Lepticed7-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/3/39/LL-Q150_(fra)-Lepticed7-Prolog.wav/LL-Q150_(fra)-Lepticed7-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/3/39/LL-Q150_(fra)-Lepticed7-Prolog.wav/LL-Q150_(fra)-Lepticed7-Prolog.wav.ogg",
      "raw_tags": [
        "France (Toulouse)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-Prolog.wav"
    },
    {
      "audio": "LL-Q150 (fra)-Poslovitch-Prolog.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/ee/LL-Q150_(fra)-Poslovitch-Prolog.wav/LL-Q150_(fra)-Poslovitch-Prolog.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/ee/LL-Q150_(fra)-Poslovitch-Prolog.wav/LL-Q150_(fra)-Poslovitch-Prolog.wav.ogg",
      "raw_tags": [
        "France (Vosges)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Poslovitch-Prolog.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "word": "Prolog"
}

Download raw JSONL data for Prolog meaning in Français (2.8kB)


This page is a part of the kaikki.org machine-readable Français dictionary. This dictionary is based on structured data extracted on 2024-09-27 from the frwiktionary dump dated 2024-09-20 using wiktextract (3f344ef and 66545a6). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.