CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="fr" dir="ltr"> <head> <meta charset="UTF-8"> <title>Discussion:Prolog — Wikipédia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )frwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","janvier","février","mars","avril","mai","juin","juillet","août","septembre","octobre","novembre","décembre"],"wgRequestId":"5817ca50-334e-48ed-bea4-e12e23e5111a","wgCanonicalNamespace":"Talk","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":1,"wgPageName":"Discussion:Prolog","wgTitle":"Prolog","wgCurRevisionId":149913305,"wgRevisionId":149913305,"wgArticleId":19164,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Article d'avancement BD/Liste complète","Projet:Informatique/Suivi des discussions","Projet:Informatique/Suivi des discussions (complet)","Projet:Logique/Discussions","Projet:Mathématiques/Discussions","Article du projet Informatique d'avancement BD","Article du projet Informatique d'importance moyenne","Article du projet Logique d'avancement BD","Article du projet Logique d'importance moyenne","Article du projet Mathématiques d'avancement BD", "Article du projet Mathématiques d'importance faible"],"wgPageViewLanguage":"fr","wgPageContentLanguage":"fr","wgPageContentModel":"wikitext","wgRelevantPageName":"Discussion:Prolog","wgRelevantArticleId":19164,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fr","pageLanguageDir":"ltr","pageVariantFallbacks":"fr"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":10000,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgDiscussionToolsFeaturesEnabled":{"replytool":true,"newtopictool":true,"sourcemodetoolbar":true,"topicsubscription":false,"autotopicsub":false,"visualenhancements":false, "visualenhancements_reply":false,"visualenhancements_pageframe":false},"wgDiscussionToolsFallbackEditMode":"visual","wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":true,"wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","oojs-ui-core.styles":"ready","oojs-ui.styles.indicators":"ready","mediawiki.widgets.styles":"ready","oojs-ui-core.icons":"ready","ext.discussionTools.init.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons": "ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ArchiveLinks","ext.gadget.Wdsearch","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.discussionTools.init","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=ext.discussionTools.init.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cmediawiki.widgets.styles%7Coojs-ui-core.icons%2Cstyles%7Coojs-ui.styles.indicators%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=fr&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.5"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Discussion:Prolog — Wikipédia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//fr.m.wikipedia.org/wiki/Discussion:Prolog"> <link rel="alternate" type="application/x-wiki" title="Modifier" href="/w/index.php?title=Discussion:Prolog&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipédia (fr)"> <link rel="EditURI" type="application/rsd+xml" href="//fr.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://fr.wikipedia.org/wiki/Discussion:Prolog"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr"> <link rel="alternate" type="application/atom+xml" title="Flux Atom de Wikipédia" href="/w/index.php?title=Sp%C3%A9cial:Modifications_r%C3%A9centes&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="ext-discussiontools-replytool-enabled ext-discussiontools-newtopictool-enabled ext-discussiontools-sourcemodetoolbar-enabled skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-1 ns-talk mw-editable page-Discussion_Prolog rootpage-Discussion_Prolog skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Aller au contenu</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Menu principal" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Menu principal</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Menu principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">masquer</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_principal" title="Accueil général [z]" accesskey="z"><span>Accueil</span></a></li><li id="n-thema" class="mw-list-item"><a href="/wiki/Portail:Accueil"><span>Portails thématiques</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Page_au_hasard" title="Affiche un article au hasard [x]" accesskey="x"><span>Article au hasard</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Contact"><span>Contact</span></a></li> </ul> </div> </div> <div id="p-Contribuer" class="vector-menu mw-portlet mw-portlet-Contribuer" > <div class="vector-menu-heading"> Contribuer </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-aboutwp" class="mw-list-item"><a href="/wiki/Aide:D%C3%A9buter"><span>Débuter sur Wikipédia</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Aide:Accueil" title="Accès à l’aide"><span>Aide</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_de_la_communaut%C3%A9" title="À propos du projet, ce que vous pouvez faire, où trouver les informations"><span>Communauté</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Modifications_r%C3%A9centes" title="Liste des modifications récentes sur le wiki [r]" accesskey="r"><span>Modifications récentes</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikip%C3%A9dia:Accueil_principal" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipédia" src="/static/images/mobile/copyright/wikipedia-wordmark-fr.svg" style="width: 7.4375em; height: 1.125em;"> <img class="mw-logo-tagline" alt="l'encyclopédie libre" src="/static/images/mobile/copyright/wikipedia-tagline-fr.svg" width="120" height="13" style="width: 7.5em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Sp%C3%A9cial:Recherche" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Rechercher sur Wikipédia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Rechercher</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Rechercher sur Wikipédia" aria-label="Rechercher sur Wikipédia" autocapitalize="sentences" title="Rechercher sur Wikipédia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Spécial:Recherche"> </div> <button class="cdx-button cdx-search-input__end-button">Rechercher</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Outils personnels"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Apparence"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Modifier l'apparence de la taille, de la largeur et de la couleur de la police de la page" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Apparence" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Apparence</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr" class=""><span>Faire un don</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Discussion%3AProlog" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire." class=""><span>Créer un compte</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=Discussion%3AProlog" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o" class=""><span>Se connecter</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Plus d’options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Outils personnels" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Outils personnels</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menu utilisateur" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr"><span>Faire un don</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Discussion%3AProlog" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Créer un compte</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=Discussion%3AProlog" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Se connecter</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages pour les contributeurs déconnectés <a href="/wiki/Aide:Premiers_pas" aria-label="En savoir plus sur la contribution"><span>en savoir plus</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_contributions" title="Une liste des modifications effectuées depuis cette adresse IP [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_discussions" title="La page de discussion pour les contributions depuis cette adresse IP [n]" accesskey="n"><span>Discussion</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Sommaire" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Sommaire</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">masquer</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">Début</div> </a> </li> <li id="toc-Copyvio_?" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Copyvio_?"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Copyvio ?</span> </div> </a> <ul id="toc-Copyvio_?-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Questions_sur_Prolog" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Questions_sur_Prolog"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Questions sur Prolog</span> </div> </a> <ul id="toc-Questions_sur_Prolog-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Problèmes_avec_l'exemple_(partie_évaluation)" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Problèmes_avec_l'exemple_(partie_évaluation)"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Problèmes avec l'exemple (partie évaluation)</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">2 commentaires</span> <ul id="toc-Problèmes_avec_l'exemple_(partie_évaluation)-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Lien_externe_mort" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Lien_externe_mort"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Lien externe mort</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">1 commentaire</span> <ul id="toc-Lien_externe_mort-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Lien_sur_la_page_web_d'Alain_Colmerauer" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Lien_sur_la_page_web_d'Alain_Colmerauer"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Lien sur la page web d'Alain Colmerauer</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">1 commentaire</span> <ul id="toc-Lien_sur_la_page_web_d'Alain_Colmerauer-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Prédicats_multiples" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Prédicats_multiples"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>Prédicats multiples</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">2 commentaires</span> <ul id="toc-Prédicats_multiples-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Bug_bizarre" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Bug_bizarre"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>Bug bizarre</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">1 commentaire</span> <ul id="toc-Bug_bizarre-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Article_important,_mais_mélangeant_des_informations_très_inégales" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Article_important,_mais_mélangeant_des_informations_très_inégales"> <div class="vector-toc-text"> <span class="vector-toc-numb">8</span> <span>Article important, mais mélangeant des informations très inégales</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">1 commentaire</span> <ul id="toc-Article_important,_mais_mélangeant_des_informations_très_inégales-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Remarques" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Remarques"> <div class="vector-toc-text"> <span class="vector-toc-numb">9</span> <span>Remarques</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">1 commentaire</span> <ul id="toc-Remarques-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'"> <div class="vector-toc-text"> <span class="vector-toc-numb">10</span> <span>Remplacement de 'grammaire générative' par 'applications grammaticales'</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">1 commentaire</span> <ul id="toc-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Importance_de_XSB" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Importance_de_XSB"> <div class="vector-toc-text"> <span class="vector-toc-numb">11</span> <span>Importance de XSB</span> </div> </a> <span class="ext-discussiontools-init-sidebar-meta">1 commentaire</span> <ul id="toc-Importance_de_XSB-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Sommaire" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Basculer la table des matières" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Basculer la table des matières</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-namespace">Discussion</span><span class="mw-page-title-separator">:</span><span class="mw-page-title-main">Prolog</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang mw-portlet-lang-icon-only" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector-empty" aria-label="Cet article n’existe que dans cette langue. Ajouter l’article pour d’autres langues." > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only mw-portlet-lang-heading-empty" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language mw-ui-icon-wikimedia-language"></span> <span class="vector-dropdown-label-text">Ajouter des langues</span> </label> <div class="vector-dropdown-content"> <div class="mw-portlet-empty-language-selector-body"> Le contenu de la page n’est pas pris en charge dans d’autres langues. </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Espaces de noms"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="vector-tab-noicon mw-list-item"><a href="/wiki/Prolog" title="Voir le contenu de la page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Discussion:Prolog" rel="discussion" title="Discussion au sujet de cette page de contenu [t]" accesskey="t"><span>Discussion</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Modifier la variante de langue" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">français</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Affichages"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Discussion:Prolog"><span>Lire</span></a></li><li id="ca-edit" class="istalk vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-addsection" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=new" title="Commencer une nouvelle section [+]" accesskey="+"><span>Ajouter un sujet</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&action=history" title="Historique des versions de cette page [h]" accesskey="h"><span>Voir l’historique</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Outils" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Outils</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Outils</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">masquer</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Plus d’options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Discussion:Prolog"><span>Lire</span></a></li><li id="ca-more-edit" class="istalk vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-more-addsection" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=new"><span>Ajouter un sujet</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&action=history"><span>Voir l’historique</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Général </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_li%C3%A9es/Discussion:Prolog" title="Liste des pages liées qui pointent sur celle-ci [j]" accesskey="j"><span>Pages liées</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Discussion:Prolog" rel="nofollow" title="Liste des modifications récentes des pages appelées par celle-ci [k]" accesskey="k"><span>Suivi des pages liées</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Aide:Importer_un_fichier" title="Téléverser des fichiers [u]" accesskey="u"><span>Téléverser un fichier</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_sp%C3%A9ciales" title="Liste de toutes les pages spéciales [q]" accesskey="q"><span>Pages spéciales</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&oldid=149913305" title="Adresse permanente de cette version de cette page"><span>Lien permanent</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&action=info" title="Davantage d’informations sur cette page"><span>Informations sur la page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:UrlShortener&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FDiscussion%3AProlog"><span>Obtenir l'URL raccourcie</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:QrCode&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FDiscussion%3AProlog"><span>Télécharger le code QR</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Imprimer / exporter </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Livre&bookcmd=book_creator&referer=Discussion%3AProlog"><span>Créer un livre</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:DownloadAsPdf&page=Discussion%3AProlog&action=show-download-screen"><span>Télécharger comme PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Discussion:Prolog&printable=yes" title="Version imprimable de cette page [p]" accesskey="p"><span>Version imprimable</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects emptyPortlet" > <div class="vector-menu-heading"> Dans d’autres projets </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apparence"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Apparence</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">masquer</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">Une page de Wikipédia, l'encyclopédie libre.</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-talkpageheader"> <div id="talkpageheader" class="fieldsetlike"><div class="legendlike"><span class="legendtextlike">Autres discussions <a href="/wiki/Sp%C3%A9cial:Index/Discussion:Prolog/" title="Spécial:Index/Discussion:Prolog/">[liste]</a></span></div><ul><li><span title="Cette page n'existe pas">Admissibilité</span></li> <li><span title="Cette page n'existe pas">Neutralité</span></li> <li><span title="Cette page n'existe pas">Droit d'auteur</span></li> <li><span title="Cette page n'existe pas">Article de qualité</span></li> <li><span title="Cette page n'existe pas">Bon article</span></li> <li><span title="Cette page n'existe pas">Lumière sur</span></li> <li><span title="Cette page n'existe pas">À faire</span></li> <li><span title="Cette page n'existe pas">Archives</span></li> <li><span title="Cette page n'existe pas">Commons</span></li></ul></div> </div><div class="mw-content-ltr mw-parser-output" lang="fr" dir="ltr"><div class="bandeau-container metadata bandeau-discussion bandeau-niveau-information"><div class="bandeau-cell" style="display:table-cell;padding-right:0.5em"> <div style="float:right; padding-right:0.5em;"><span typeof="mw:File"><a href="/wiki/Mod%C3%A8le:Wikiprojet" title="informations sur cette boîte"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png" decoding="async" width="12" height="12" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/18px-Info_Simple.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/24px-Info_Simple.svg.png 2x" data-file-width="512" data-file-height="512"/></a></span></div> <div style="padding: 1em 2%;"><div class="intro-wikiprojet" style="margin-bottom:1em"><p>Cet article est indexé par les projets <a href="/wiki/Projet:Informatique" title="Projet:Informatique">Informatique</a>, <a href="/wiki/Projet:Logique" title="Projet:Logique">Logique</a> et <a href="/wiki/Projet:Math%C3%A9matiques" title="Projet:Mathématiques">Mathématiques</a>.</p><p>Les <a href="/wiki/Projet:Accueil" title="Projet:Accueil">projets</a> ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez <a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Prolog&action=edit">modifier directement cet article</a> ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.</p></div><table style="background:var(--couleur-fond-gris-alternance, #ededed); color:inherit; width:100%; border-spacing:0; padding:0.4em 0.6em calc(0.4em + 2px); border:1px solid #a7d7f9; border-radius:10px; border-collapse:separate;"><caption style="padding-bottom:5px;"><span typeof="mw:File"><a href="/wiki/Fichier:Fairytale_bookmark_half_gold_silverlight.png" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/b/be/Fairytale_bookmark_half_gold_silverlight.png/20px-Fairytale_bookmark_half_gold_silverlight.png" decoding="async" width="20" height="19" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/b/be/Fairytale_bookmark_half_gold_silverlight.png/30px-Fairytale_bookmark_half_gold_silverlight.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/b/be/Fairytale_bookmark_half_gold_silverlight.png/40px-Fairytale_bookmark_half_gold_silverlight.png 2x" data-file-width="64" data-file-height="61"/></a></span> <b><a href="/wiki/Projet:%C3%89valuation" title="Projet:Évaluation">Évaluation</a></b> de l’article « <b>Prolog</b> »</caption><tbody><tr><th scope="col" style="width:6em; font-weight:normal;"><a href="/wiki/Projet:%C3%89valuation/Avancement" title="Projet:Évaluation/Avancement">Avancement</a></th><th scope="col" style="width:6em; font-weight:normal;"><a href="/wiki/Projet:%C3%89valuation/Importance" title="Projet:Évaluation/Importance">Importance</a></th><th scope="col" colspan="2" style="text-align:left; font-weight:normal;">pour le <a href="/wiki/Projet:Accueil" title="Projet:Accueil">projet</a></th></tr><tr><td rowspan="3" style="text-align:center; font-weight:bold; background-color:#ffaa66;color:#000;">Bon début</td><td rowspan="2" style="text-align:center; font-weight:bold; background-color:#ffccff;color:#000;">Moyenne</td><td style="text-align:center; width:40px"><span typeof="mw:File"><a href="/wiki/Fichier:Circle-icons-computer.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/20px-Circle-icons-computer.svg.png" decoding="async" width="20" height="20" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/30px-Circle-icons-computer.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/40px-Circle-icons-computer.svg.png 2x" data-file-width="512" data-file-height="512"/></a></span></td><td><b><a href="/wiki/Projet:Informatique" title="Projet:Informatique">Informatique</a></b> (<a href="/wiki/Discussion_Projet:Informatique" title="Discussion Projet:Informatique">discussion</a> • <a href="/wiki/Projet:Informatique/%C3%89valuation" title="Projet:Informatique/Évaluation">critères</a> • <a href="/wiki/Projet:Informatique/%C3%89valuation/Index" title="Projet:Informatique/Évaluation/Index">liste</a> • <a href="/wiki/Projet:Informatique/%C3%89valuation/Statistiques_d%C3%A9taill%C3%A9es" title="Projet:Informatique/Évaluation/Statistiques détaillées">stats</a> • <a href="/wiki/Projet:Informatique/%C3%89valuation/Historique" title="Projet:Informatique/Évaluation/Historique">hist.</a> • <a href="/wiki/Projet:Informatique/%C3%89valuation/Comit%C3%A9" title="Projet:Informatique/Évaluation/Comité">comité</a> • <a href="/wiki/Projet:Informatique/Pages_populaires" title="Projet:Informatique/Pages populaires">stats vues</a>)</td></tr><tr><td style="text-align:center; width:40px"><span typeof="mw:File"><a href="/wiki/Fichier:Consistency.png" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/33/Consistency.png/40px-Consistency.png" decoding="async" width="40" height="9" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/33/Consistency.png/60px-Consistency.png 1.5x, //upload.wikimedia.org/wikipedia/commons/3/33/Consistency.png 2x" data-file-width="70" data-file-height="15"/></a></span></td><td><b><a href="/wiki/Projet:Logique" title="Projet:Logique">Logique</a></b> (<a href="/wiki/Discussion_Projet:Logique" title="Discussion Projet:Logique">discussion</a> • <a href="/wiki/Projet:Logique/%C3%89valuation" title="Projet:Logique/Évaluation">critères</a> • <a href="/wiki/Projet:Logique/%C3%89valuation/Index" title="Projet:Logique/Évaluation/Index">liste</a> • <a href="/wiki/Projet:Logique/%C3%89valuation/Statistiques_d%C3%A9taill%C3%A9es" title="Projet:Logique/Évaluation/Statistiques détaillées">stats</a> • <a href="/wiki/Projet:Logique/%C3%89valuation/Historique" title="Projet:Logique/Évaluation/Historique">hist.</a> • <a href="/wiki/Projet:Logique/%C3%89valuation/Comit%C3%A9" title="Projet:Logique/Évaluation/Comité">comité</a> • <a href="/wiki/Projet:Logique/Pages_populaires" title="Projet:Logique/Pages populaires">stats vues</a>)</td></tr><tr><td rowspan="1" style="text-align:center; font-weight:bold; background-color:#ffeeff;color:#000;">Faible</td><td style="text-align:center; width:40px"><span typeof="mw:File"><a href="/wiki/Fichier:Racine_carr%C3%A9e_bleue.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/20px-Racine_carr%C3%A9e_bleue.svg.png" decoding="async" width="20" height="20" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/30px-Racine_carr%C3%A9e_bleue.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/40px-Racine_carr%C3%A9e_bleue.svg.png 2x" data-file-width="128" data-file-height="128"/></a></span></td><td><b><a href="/wiki/Projet:Math%C3%A9matiques" title="Projet:Mathématiques">Mathématiques</a></b> (<a href="/wiki/Discussion_Projet:Math%C3%A9matiques" class="mw-redirect" title="Discussion Projet:Mathématiques">discussion</a> • <a href="/wiki/Projet:Math%C3%A9matiques/%C3%89valuation" title="Projet:Mathématiques/Évaluation">critères</a> • <a href="/wiki/Projet:Math%C3%A9matiques/%C3%89valuation/Index" title="Projet:Mathématiques/Évaluation/Index">liste</a> • <a href="/wiki/Projet:Math%C3%A9matiques/%C3%89valuation/Statistiques_d%C3%A9taill%C3%A9es" title="Projet:Mathématiques/Évaluation/Statistiques détaillées">stats</a> • <a href="/wiki/Projet:Math%C3%A9matiques/%C3%89valuation/Historique" title="Projet:Mathématiques/Évaluation/Historique">hist.</a> • <a href="/wiki/Projet:Math%C3%A9matiques/%C3%89valuation/Comit%C3%A9" class="mw-redirect" title="Projet:Mathématiques/Évaluation/Comité">comité</a> • <a href="/wiki/Projet:Math%C3%A9matiques/Pages_populaires" title="Projet:Mathématiques/Pages populaires">stats vues</a>)</td></tr></tbody></table><div style="margin-top:1.2em;"><span typeof="mw:File"><a href="/wiki/Fichier:Icons8_flat_inspection.svg" class="mw-file-description" title="Liste de tâches suggérées"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/0/06/Icons8_flat_inspection.svg/20px-Icons8_flat_inspection.svg.png" decoding="async" width="20" height="20" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/0/06/Icons8_flat_inspection.svg/30px-Icons8_flat_inspection.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/0/06/Icons8_flat_inspection.svg/40px-Icons8_flat_inspection.svg.png 2x" data-file-width="512" data-file-height="512"/></a></span> Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez <span class="plainlinks"><a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Discussion:Prolog/%C3%80_faire&action=edit">saisir une liste de tâches à accomplir</a></span> (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter <a href="/wiki/Aide:%C3%80_faire" title="Aide:À faire">la page d'aide</a>. </div></div> </div></div> <meta property="mw:PageProp/toc"/> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Copyvio_?" data-mw-thread-id="h-Copyvio_?"><span id="Copyvio_.3F"></span><span data-mw-comment-start="" id="h-Copyvio_?"></span>Copyvio ?<span data-mw-comment-end="h-Copyvio_?"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=1" title="Modifier le code source de la section : Copyvio ?"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Je me pose des grosses question sur le copyrightibilité de cet article. -- <a href="/wiki/Utilisateur:Looxix" title="Utilisateur:Looxix">Looxix</a> 9 jun 2003 ・18:20 (CEST) </p> <dl><dd>je n'ai pas trouvé la source éventuelle sur le Web, mais il est vrai que la forme (par exemple le sommaire) plaide pour une repompe. - <a href="/wiki/Utilisateur:Panoramix" title="Utilisateur:Panoramix">Panoramix</a></dd></dl> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Questions_sur_Prolog" data-mw-thread-id="h-Questions_sur_Prolog"><span data-mw-comment-start="" id="h-Questions_sur_Prolog"></span>Questions sur Prolog<span data-mw-comment-end="h-Questions_sur_Prolog"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=2" title="Modifier le code source de la section : Questions sur Prolog"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>bonjour a tous, </p><p>quelques petites questions : </p> <pre> a quoi sert le @ ? exemple dans @>, @<, .... quel est la différence entre \= et =\= ?? </pre> <p><br/> un grand merci </p> <dl><dd>C'est pour faire la distinction entre les diférents type d'équivalance: <dl><dd>'\=' c'est non-unifiable alors que '=\=' est 'arithmétiquement non-égal'</dd> <dd>'>' et '<' sont les comparaisons arithmétiques, '@>' et '<@' sont les comparaisons dites 'structurelles' qui fonctionnent avec tous les termes.</dd></dl></dd> <dd>-- <a href="/wiki/Utilisateur:Looxix" title="Utilisateur:Looxix">Looxix</a> 9 jun 2003 ・17:14 (CEST)</dd></dl> <p>qu'entendez vous par non-unifiable ?? je comprend pas bien cette notion... et encore merci </p> <dl><dd>Je ne sais pas expliquer cette notion en quelques lignes. Je vais voir si je peut améliorer l'article. Reviens dans quelques heures ou demain. -- <a href="/wiki/Utilisateur:Looxix" title="Utilisateur:Looxix">Looxix</a> 9 jun 2003 ・17:20 (CEST)</dd></dl> <p><br/> ok merci </p> <pre> donc pour résumé pour comparer des nombres ont utilise >, <, ... et pour tous le reste @> et <@ ??? </pre> <dl><dd>C'est un peu plsu compliqué que ça:</dd></dl> <ul><li>>, <, =<, >=, =:= et =\= sont des opérateurs fonctionant sur des expressions artihmétiques; c'est-à-dire qu'il essayent dabord d'évaluer leurs arguments. Par exemple '1+1 > 1' réussit car '1+1' est d'abord évalué en '2' puis '2' est comparé à '1' donc la comparaison réussit.</li> <li>@>, @<, @=<, @>=, == et \== fonctionnent avec tous les termes mais n'essayent pas d'évaluer leur arguments comme expression arithmétique</li> <li>= est l'opérateur d'unification</li> <li>\= est un test de non-unification (les arguments ne sont jamais unifiés, si l'unification est possible alors '\=' échoue, sinon il réusit).</li></ul> <p><b>ATTENTION</b>, plus j'avait confondu '=\=' et '\==' J'ai ajouté un petit article expliquant l'unification: <a href="/wiki/Unification_(logique)" class="mw-redirect" title="Unification (logique)">Unification (logique)</a> </p> <dl><dd>examen? -- <a href="/wiki/Utilisateur:Looxix" title="Utilisateur:Looxix">Looxix</a> 9 jun 2003 ・18:50 (CEST)</dd></dl> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Problèmes_avec_l'exemple_(partie_évaluation)" data-mw-thread-id="h-Problèmes_avec_l'exemple_(partie_évaluation)-2010-03-24T13:50:00.000Z"><span id="Probl.C3.A8mes_avec_l.27exemple_.28partie_.C3.A9valuation.29"></span><span data-mw-comment-start="" id="h-Problèmes_avec_l'exemple_(partie_évaluation)-2010-03-24T13:50:00.000Z"></span>Problèmes avec l'exemple (partie évaluation)<span data-mw-comment-end="h-Problèmes_avec_l'exemple_(partie_évaluation)-2010-03-24T13:50:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=3" title="Modifier le code source de la section : Problèmes avec l'exemple (partie évaluation)"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-Spidermario-2010-03-24T13:50:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)"></span>L'exemple ne fonctionne pas du tout avec GNU Prolog. </p> <ul><li>D'un part, les prédicats sont discontigus, mais j'ai cru comprendre que cela dépendait de l'implémentation ;</li> <li>D'autre part, gprolog ne supporte pas que les deux règles suivantes soient présentes simultanément :</li></ul> <pre> père(X,Y) :- parent(X,Y), mâle(X). parent(X,Y) :- père(X,Y). </pre> <p>En effet, dans ce cas, on obtient : </p> <ul><li>une infinité de résultats (toujours le même) en demandant le père ou le parent de quelqu'un ;</li> <li>une boucle infinie si trouver le père ou le parent est une étape ;</li> <li>un plantage dans certains cas.</li></ul> <p>L'exemple est-il donc vraiment faux, ou bien alors GNU Prolog est-il une mauvaise implémentation ? </p> <dl><dd>Je ne sais pas qui a rédigé l'article de dessus, mais j'ai rajouté Grammaire Générative... non, t'as mal lu, cet article est un extrait de:</dd></dl> <pre>père(X,Y) :- parent(X,Y), mâle(X). mère(X,Y) :- parent(X,Y), femelle(X). parent(X,Y) :- père(X,Y). parent(X,Y) :- mère(X,Y). </pre> <p>Et </p> <pre>parent(X,Y) :- père(X,Y). parent(X,Y) :- mère(X,Y). </pre> <p>implique un "ou" logique, soit le parent est le père, soit c'est la mère, c'est drôle, je connais cet exo mais rédigé autrement et je peux te l'assurer qu'il marche. Donc l'exemple n'est pas faux. J'ai corrigé l'oubli et/ou. Par contre je ne comprends pas cette histoire de miser(X)? </p><p><a href="/wiki/Utilisateur:Storm" title="Utilisateur:Storm">Storm</a> 23 aoû 2004 à 12:35 (CEST)STORM </p><p>L'exemple ne fonctionne pas non plus sous SWI-Prolog. Pour savoir si père(X,Y), l'interpréteur vérifie si parent(X,Y), ce qui le fait vérifier que père(X,Y), et ainsi de suite. <a href="/wiki/Utilisateur:Spidermario" title="Utilisateur:Spidermario">Spidermario</a> (<a href="/wiki/Discussion_utilisateur:Spidermario" title="Discussion utilisateur:Spidermario">d</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Spidermario-2010-03-24T13:50:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)" class="ext-discussiontools-init-timestamplink">24 mars 2010 à 14:50 (CET)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Spidermario-2010-03-24T13:50:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Spidermario-2010-03-24T13:50:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)"></span> </p><p><span data-mw-comment-start="" id="c-90.27.28.164-2010-04-20T07:45:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)"></span>L'exemple ne marche pas, je confirme, il s'agit de récursivité croisée, sans progrès. je l'ai réduit (et corrigé). BDenis.--<a href="/wiki/Sp%C3%A9cial:Contributions/90.27.28.164" title="Spécial:Contributions/90.27.28.164">90.27.28.164</a> (<a href="/w/index.php?title=Discussion_utilisateur:90.27.28.164&action=edit&redlink=1" class="new" title="Discussion utilisateur:90.27.28.164 (page inexistante)">d</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-90.27.28.164-2010-04-20T07:45:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)" class="ext-discussiontools-init-timestamplink">20 avril 2010 à 09:45 (CEST)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-90.27.28.164-2010-04-20T07:45:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-90.27.28.164-2010-04-20T07:45:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)"></span> </p> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Lien_externe_mort" data-mw-thread-id="h-Lien_externe_mort-2006-01-31T23:25:00.000Z"><span data-mw-comment-start="" id="h-Lien_externe_mort-2006-01-31T23:25:00.000Z"></span>Lien externe mort<span data-mw-comment-end="h-Lien_externe_mort-2006-01-31T23:25:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=4" title="Modifier le code source de la section : Lien externe mort"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-Eskimo-2006-01-31T23:25:00.000Z-Lien_externe_mort"></span>Bonjour, </p><p>Pendant plusieurs vérifications automatiques, et dans le cadre du projet <b><a href="/wiki/Wikip%C3%A9dia:Projet/Correction_des_liens_externes" class="mw-redirect" title="Wikipédia:Projet/Correction des liens externes">correction des liens externes</a></b> un lien était indisponible. </p><p>Merci de vérifier si il est bien indisponible et de le remplacer par une version archivée par <a href="/wiki/Internet_Archive" title="Internet Archive">Internet Archive</a> si c'est le cas. Vous pouvez avoir plus d'informations sur la manière de faire ceci <b><a href="/wiki/Wikip%C3%A9dia:Projet/Correction_des_liens_externes#J.27ai_trouv.C3.A9_un_lien_mort.2C_que_faire_.3F" class="mw-redirect" title="Wikipédia:Projet/Correction des liens externes">ici</a></b>. Si le lien est disponible, merci de l'indiquer sur <b><a href="/wiki/Wikip%C3%A9dia:Projet/Correction_des_liens_externes/Faux_positifs" class="mw-redirect" title="Wikipédia:Projet/Correction des liens externes/Faux positifs">cette page</a></b>, pour permettre l'amélioration du robot. Les erreurs rapportées sont : </p> <ul><li><a rel="nofollow" class="external free" href="http://prologianet.univ-mrs.fr/societe/prolog.html">http://prologianet.univ-mrs.fr/societe/prolog.html</a> <ul><li>Dans <a href="/wiki/Prolog" title="Prolog">Prolog</a>, le Fri Jan 27 20:07:35 2006, Socket Error: (110, "Connexion termin\xc3\xa9e par expiration du d\xc3\xa9lai d'attente")</li> <li>Dans <a href="/wiki/Prolog" title="Prolog">Prolog</a>, le Tue Jan 31 22:12:20 2006, Socket Error: (110, "Connexion termin\xc3\xa9e par expiration du d\xc3\xa9lai d'attente")</li></ul></li></ul> <p>▪ <a href="/wiki/Utilisateur:Eskimbot" title="Utilisateur:Eskimbot"><font color="1E90FF">Eskim</font><font color="red">bot</font></a> <a href="/wiki/Discussion_utilisateur:Eskimo" title="Discussion utilisateur:Eskimo"><font color="#FFD700">☼</font></a> <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Eskimo-2006-01-31T23:25:00.000Z-Lien_externe_mort" class="ext-discussiontools-init-timestamplink">1 février 2006 à 00:25 (CET)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Eskimo-2006-01-31T23:25:00.000Z-Lien_externe_mort"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Eskimo-2006-01-31T23:25:00.000Z-Lien_externe_mort"></span> </p><p><br/> </p> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Lien_sur_la_page_web_d'Alain_Colmerauer" data-mw-thread-id="h-Lien_sur_la_page_web_d'Alain_Colmerauer-2007-07-30T09:49:00.000Z"><span id="Lien_sur_la_page_web_d.27Alain_Colmerauer"></span><span data-mw-comment-start="" id="h-Lien_sur_la_page_web_d'Alain_Colmerauer-2007-07-30T09:49:00.000Z"></span>Lien sur la page web d'Alain Colmerauer<span data-mw-comment-end="h-Lien_sur_la_page_web_d'Alain_Colmerauer-2007-07-30T09:49:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=5" title="Modifier le code source de la section : Lien sur la page web d'Alain Colmerauer"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-Eusebius-2007-07-30T09:49:00.000Z-Lien_sur_la_page_web_d'Alain_Colmerauer"></span>Ce lien sur la page d'accueil d'Alain Colmerauer presente des information interressantes sur la creation de Prolog et ses differentes evolutions : </p><p><a rel="nofollow" class="external text" href="http://www.lif-sud.univ-mrs.fr/~colmer/">Page d'accueil d'Alain Colmerauer</a> </p><p>Serait-il possible de l'ajouter dans la liste des liens ? </p> <dl><dd>Fait. - <a href="/wiki/Utilisateur:Eusebius" title="Utilisateur:Eusebius">Eusebius</a><sup><small> [<a href="/wiki/Discussion_utilisateur:Eusebius" title="Discussion utilisateur:Eusebius">causons</a>]</small></sup> <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Eusebius-2007-07-30T09:49:00.000Z-Lien_sur_la_page_web_d'Alain_Colmerauer" class="ext-discussiontools-init-timestamplink">30 juillet 2007 à 11:49 (CEST)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Eusebius-2007-07-30T09:49:00.000Z-Lien_sur_la_page_web_d'Alain_Colmerauer"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Eusebius-2007-07-30T09:49:00.000Z-Lien_sur_la_page_web_d'Alain_Colmerauer"></span></dd></dl> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Prédicats_multiples" data-mw-thread-id="h-Prédicats_multiples-2010-03-24T14:21:00.000Z"><span id="Pr.C3.A9dicats_multiples"></span><span data-mw-comment-start="" id="h-Prédicats_multiples-2010-03-24T14:21:00.000Z"></span>Prédicats multiples<span data-mw-comment-end="h-Prédicats_multiples-2010-03-24T14:21:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=6" title="Modifier le code source de la section : Prédicats multiples"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-Spidermario-2010-03-24T14:21:00.000Z-Prédicats_multiples"></span>La partie sur les prédicats multiples me semble étrange : ni SWI-Prolog, ni GNU Prolog n'acceptent la syntaxe « a, b :- c. », il semblent qu'ils supposent que l'on essaie de redéfinir le prédicat ,/2. De plus, il est ensuite affirmé que ce qui suit n'est pas équivalent à « (a et b et c) si d », mais il me semble que si. <a href="/wiki/Utilisateur:Spidermario" title="Utilisateur:Spidermario">Spidermario</a> (<a href="/wiki/Discussion_utilisateur:Spidermario" title="Discussion utilisateur:Spidermario">d</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Spidermario-2010-03-24T14:21:00.000Z-Prédicats_multiples" class="ext-discussiontools-init-timestamplink">24 mars 2010 à 15:21 (CET)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Spidermario-2010-03-24T14:21:00.000Z-Prédicats_multiples"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Spidermario-2010-03-24T14:21:00.000Z-Prédicats_multiples"></span> </p> <dl><dd><span data-mw-comment-start="" id="c-Lf69100-2015-07-05T23:16:00.000Z-Spidermario-2010-03-24T14:21:00.000Z"></span>La partie sur les prédicats multiples me semble effectivement fausse en général ; enlever ce paragraphe : il y a plus utile --<a href="/wiki/Utilisateur:Lf69100" title="Utilisateur:Lf69100">Lf69100</a> (<a href="/wiki/Discussion_utilisateur:Lf69100" title="Discussion utilisateur:Lf69100">discuter</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Lf69100-2015-07-05T23:16:00.000Z-Spidermario-2010-03-24T14:21:00.000Z" class="ext-discussiontools-init-timestamplink">6 juillet 2015 à 01:16 (CEST)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Lf69100-2015-07-05T23:16:00.000Z-Spidermario-2010-03-24T14:21:00.000Z"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Lf69100-2015-07-05T23:16:00.000Z-Spidermario-2010-03-24T14:21:00.000Z"></span></dd></dl> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Bug_bizarre" data-mw-thread-id="h-Bug_bizarre-2012-07-27T04:21:00.000Z"><span data-mw-comment-start="" id="h-Bug_bizarre-2012-07-27T04:21:00.000Z"></span>Bug bizarre<span data-mw-comment-end="h-Bug_bizarre-2012-07-27T04:21:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=7" title="Modifier le code source de la section : Bug bizarre"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-Zandr4-2012-07-27T04:21:00.000Z-Bug_bizarre"></span>Les tooltips des pages non existantes s'affichent dans une langue cyrillique? </p> <dl><dd>Heiiiin ? Pas chez moi. <a href="/wiki/Utilisateur:Zandr4" title="Utilisateur:Zandr4">Zandr4</a><sup><small>[<a href="/wiki/Discussion_utilisateur:Zandr4" title="Discussion utilisateur:Zandr4">Kupopo ?</a>]</small></sup> <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Zandr4-2012-07-27T04:21:00.000Z-Bug_bizarre" class="ext-discussiontools-init-timestamplink">27 juillet 2012 à 06:21 (CEST)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Zandr4-2012-07-27T04:21:00.000Z-Bug_bizarre"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Zandr4-2012-07-27T04:21:00.000Z-Bug_bizarre"></span></dd></dl> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Article_important,_mais_mélangeant_des_informations_très_inégales" data-mw-thread-id="h-Article_important,_mais_mélangeant_des_informations_très_inégales-2013-02-23T02:38:00.000Z"><span id="Article_important.2C_mais_m.C3.A9langeant_des_informations_tr.C3.A8s_in.C3.A9gales"></span><span data-mw-comment-start="" id="h-Article_important,_mais_mélangeant_des_informations_très_inégales-2013-02-23T02:38:00.000Z"></span>Article important, mais mélangeant des informations très inégales<span data-mw-comment-end="h-Article_important,_mais_mélangeant_des_informations_très_inégales-2013-02-23T02:38:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=8" title="Modifier le code source de la section : Article important, mais mélangeant des informations très inégales"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-82.226.27.88-2013-02-23T02:38:00.000Z-Article_important,_mais_mélangeant_des_informations_très_inégales"></span>L'utilisateur habituel de Prolog, LISP et Haskell ne sera pas dérouté par cet article, mais je me demande si le lecteur curieux ne risque pas d'être dérouté par ce mélange hétéroclite de concepts importants (la recherche, par exploration, d'une solution dans un buisson de contraintes) et de considérations tellement secondaires qu'elles en deviennent peut-être anecdotiques (l'usage des majuscules et des minuscules, et les caractères autorisés pour écrire une variable !). Peut-être l'article gagnerait-il à ce que soient exposés </p> <ul><li>d'abord les idées fondamentales : explorer des solutions possibles sous contraintes spécifiées,</li> <li>et ensuite seulement les détails "administratifs", ou en tout cas arbitraires, qui sont utiles à la rédaction de ses premiers programmes, mais n'apportent rien à la compréhension du mécanisme Prolog, au contraire.</li></ul> <p>Cette deuxième partie pourrait alors être illustrée de l'écriture d'expresions Prolog pour fixer les idées. Bon, je sais que les conseilleurs ne sont pas les payeurs, alors le je tais et je vais au dodo ! :-) <a href="/wiki/Sp%C3%A9cial:Contributions/82.226.27.88" title="Spécial:Contributions/82.226.27.88">82.226.27.88</a> (<a href="/wiki/Discussion_utilisateur:82.226.27.88" title="Discussion utilisateur:82.226.27.88">d</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-82.226.27.88-2013-02-23T02:38:00.000Z-Article_important,_mais_mélangeant_des_informations_très_inégales" class="ext-discussiontools-init-timestamplink">23 février 2013 à 03:38 (CET)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-82.226.27.88-2013-02-23T02:38:00.000Z-Article_important,_mais_mélangeant_des_informations_très_inégales"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-82.226.27.88-2013-02-23T02:38:00.000Z-Article_important,_mais_mélangeant_des_informations_très_inégales"></span> </p> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Remarques" data-mw-thread-id="h-Remarques-2015-07-05T22:55:00.000Z"><span data-mw-comment-start="" id="h-Remarques-2015-07-05T22:55:00.000Z"></span>Remarques<span data-mw-comment-end="h-Remarques-2015-07-05T22:55:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=9" title="Modifier le code source de la section : Remarques"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <ol><li><span data-mw-comment-start="" id="c-Lf69100-2015-07-05T22:55:00.000Z-Remarques"></span>Prolog, plus grammatical que logique, a ses connecteurs non-commutatifs : "," signifie PUIS plutôt que ET ; ";" signifie SINON plutôt que OU.</li> <li>Evoquer la déclaration d'opérateurs, sur la base du nom, d'une priorité et d'une associativité ; cette possibilité facilite la modélisation, et permet des écritures pseudo-naturelles (langage de requête ou LRC).</li> <li>"Une particularité de Prolog est de ne pas donner de statut aux paramètres d'un prédicat, ce ne sont pas des paramètres 'donnés' ou 'résultats', ou même 'donnés/résultats', leur statut est indifférent et sera défini en fonction des requêtes utilisées." est un point très favorable à une exploitation relationnelle non directive. Mais de fait la norme ISO recommande le modage des paramètres ; certaines applications ayant dépassé 50'000 lignes, la fiabilité suppose que les flux d'informations (source->puits) soient contrôlables statiquement ; et certains prédicats prédéfinis étant modés par nature, tendent à moder ceux qui les emploient.</li> <li>la réification permet de simuler des aspects de l'ordre 2</li> <li>la PLC mériterait son article, en termes de logique et d'efficacité</li> <li>quid du Prolog ISO ??</li></ol> <p>--<a href="/wiki/Utilisateur:Lf69100" title="Utilisateur:Lf69100">Lf69100</a> (<a href="/wiki/Discussion_utilisateur:Lf69100" title="Discussion utilisateur:Lf69100">discuter</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Lf69100-2015-07-05T22:55:00.000Z-Remarques" class="ext-discussiontools-init-timestamplink">6 juillet 2015 à 00:55 (CEST)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Lf69100-2015-07-05T22:55:00.000Z-Remarques"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Lf69100-2015-07-05T22:55:00.000Z-Remarques"></span> </p> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'" data-mw-thread-id="h-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'-2016-05-23T16:41:00.000Z"><span id="Remplacement_de_.27grammaire_g.C3.A9n.C3.A9rative.27_par_.27applications_grammaticales.27"></span><span data-mw-comment-start="" id="h-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'-2016-05-23T16:41:00.000Z"></span>Remplacement de 'grammaire générative' par 'applications grammaticales'<span data-mw-comment-end="h-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'-2016-05-23T16:41:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=10" title="Modifier le code source de la section : Remplacement de 'grammaire générative' par 'applications grammaticales'"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-Lf69100-2016-05-23T16:41:00.000Z-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'"></span>L'exemple donné était encombré de déclarations Turbo-Prolog sans être très probant. </p><p>Je le remplace par un exemple plus développé, testé en SWI Prolog, mis en mode déroulant. </p><p>Pour rester simple, je fais l'impasse sur les accords en genre et en nombre et sur les conjugaisons. </p><p>--<a href="/wiki/Utilisateur:Lf69100" title="Utilisateur:Lf69100">Lf69100</a> (<a href="/wiki/Discussion_utilisateur:Lf69100" title="Discussion utilisateur:Lf69100">discuter</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Lf69100-2016-05-23T16:41:00.000Z-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'" class="ext-discussiontools-init-timestamplink">23 mai 2016 à 18:41 (CEST)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Lf69100-2016-05-23T16:41:00.000Z-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Lf69100-2016-05-23T16:41:00.000Z-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'"></span> </p> <div class="mw-heading mw-heading2 ext-discussiontools-init-section"><h2 id="Importance_de_XSB" data-mw-thread-id="h-Importance_de_XSB-2016-04-04T12:42:00.000Z"><span data-mw-comment-start="" id="h-Importance_de_XSB-2016-04-04T12:42:00.000Z"></span>Importance de XSB<span data-mw-comment-end="h-Importance_de_XSB-2016-04-04T12:42:00.000Z"></span></h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Discussion:Prolog&action=edit&section=11" title="Modifier le code source de la section : Importance de XSB"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span><div class="ext-discussiontools-init-section-bar"><div class="ext-discussiontools-init-section-metadata"></div><div class="ext-discussiontools-init-section-actions"></div></div></div> <p><span data-mw-comment-start="" id="c-Sukkoria-2016-04-04T12:42:00.000Z-Importance_de_XSB"></span>Bonjour, </p><p>XSB, implémentation de Prolog, dispose sur la Wikipedia anglaise de son propre article, ayant dépassé le stade d’ébauche. Celui-ci figurait dans la liste 2013 des articles à traduire en français. Serait-il plus logique de disposer sur la Wikipedia française également d’un article spécifique ? ou d’enrichir une sous-section de l’article sur Prolog ? </p><p>A fortiori, le cas se pose aussi pour d’autres implémentations… </p><p>--<a href="/wiki/Utilisateur:Sukkoria" title="Utilisateur:Sukkoria">Sukkoria</a> (<a href="/wiki/Discussion_utilisateur:Sukkoria" title="Discussion utilisateur:Sukkoria">discuter</a>) <a href="https://fr.wikipedia.org/wiki/Discussion:Prolog#c-Sukkoria-2016-04-04T12:42:00.000Z-Importance_de_XSB" class="ext-discussiontools-init-timestamplink">4 avril 2016 à 14:42 (CEST)</a><span class="ext-discussiontools-init-replylink-buttons" data-mw-thread-id="c-Sukkoria-2016-04-04T12:42:00.000Z-Importance_de_XSB"><span class="ext-discussiontools-init-replylink-bracket">[</span><a class="ext-discussiontools-init-replylink-reply" role="button" tabindex="0" href="">répondre</a><span class="ext-discussiontools-init-replylink-bracket">]</span></span><span data-mw-comment-end="c-Sukkoria-2016-04-04T12:42:00.000Z-Importance_de_XSB"></span> </p>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1&useformat=desktop" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Ce document provient de « <a dir="ltr" href="https://fr.wikipedia.org/w/index.php?title=Discussion:Prolog&oldid=149913305">https://fr.wikipedia.org/w/index.php?title=Discussion:Prolog&oldid=149913305</a> ».</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Cat%C3%A9gorie:Accueil" title="Catégorie:Accueil">Catégories</a> : <ul><li><a href="/wiki/Cat%C3%A9gorie:Article_du_projet_Informatique_d%27avancement_BD" title="Catégorie:Article du projet Informatique d'avancement BD">Article du projet Informatique d'avancement BD</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_du_projet_Informatique_d%27importance_moyenne" title="Catégorie:Article du projet Informatique d'importance moyenne">Article du projet Informatique d'importance moyenne</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_du_projet_Logique_d%27avancement_BD" title="Catégorie:Article du projet Logique d'avancement BD">Article du projet Logique d'avancement BD</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_du_projet_Logique_d%27importance_moyenne" title="Catégorie:Article du projet Logique d'importance moyenne">Article du projet Logique d'importance moyenne</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_du_projet_Math%C3%A9matiques_d%27avancement_BD" title="Catégorie:Article du projet Mathématiques d'avancement BD">Article du projet Mathématiques d'avancement BD</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_du_projet_Math%C3%A9matiques_d%27importance_faible" title="Catégorie:Article du projet Mathématiques d'importance faible">Article du projet Mathématiques d'importance faible</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Catégories cachées : <ul><li><a href="/wiki/Cat%C3%A9gorie:Article_d%27avancement_BD/Liste_compl%C3%A8te" title="Catégorie:Article d'avancement BD/Liste complète">Article d'avancement BD/Liste complète</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Informatique/Suivi_des_discussions" title="Catégorie:Projet:Informatique/Suivi des discussions">Projet:Informatique/Suivi des discussions</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Informatique/Suivi_des_discussions_(complet)" title="Catégorie:Projet:Informatique/Suivi des discussions (complet)">Projet:Informatique/Suivi des discussions (complet)</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Logique/Discussions" title="Catégorie:Projet:Logique/Discussions">Projet:Logique/Discussions</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Math%C3%A9matiques/Discussions" title="Catégorie:Projet:Mathématiques/Discussions">Projet:Mathématiques/Discussions</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> La dernière modification de cette page a été faite le 28 juin 2018 à 11:26.</li> <li id="footer-info-copyright"><span style="white-space: normal"><a href="/wiki/Wikip%C3%A9dia:Citation_et_r%C3%A9utilisation_du_contenu_de_Wikip%C3%A9dia" title="Wikipédia:Citation et réutilisation du contenu de Wikipédia">Droit d'auteur</a> : les textes sont disponibles sous <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">licence Creative Commons attribution, partage dans les mêmes conditions</a> ; d’autres conditions peuvent s’appliquer. Voyez les <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/fr">conditions d’utilisation</a> pour plus de détails, ainsi que les <a href="/wiki/Wikip%C3%A9dia:Cr%C3%A9dits_graphiques" title="Wikipédia:Crédits graphiques">crédits graphiques</a>. <br /> Wikipedia® est une marque déposée de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a href="/wiki/501c" title="501c">501(c)(3)</a> du code fiscal des États-Unis.</span><br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/fr">Politique de confidentialité</a></li> <li id="footer-places-about"><a href="/wiki/Wikip%C3%A9dia:%C3%80_propos_de_Wikip%C3%A9dia">À propos de Wikipédia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikip%C3%A9dia:Avertissements_g%C3%A9n%C3%A9raux">Avertissements</a></li> <li id="footer-places-contact"><a href="//fr.wikipedia.org/wiki/Wikipédia:Contact">Contact</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code de conduite</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Développeurs</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fr.wikipedia.org">Statistiques</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Déclaration sur les témoins (cookies)</a></li> <li id="footer-places-mobileview"><a href="//fr.m.wikipedia.org/w/index.php?title=Discussion:Prolog&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Version mobile</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-79d9bc49cc-d5zlg","wgBackendResponseTime":184,"wgDiscussionToolsPageThreads":[{"headingLevel":2,"name":"h-","type":"heading","level":0,"id":"h-Copyvio_?","replies":[]},{"headingLevel":2,"name":"h-","type":"heading","level":0,"id":"h-Questions_sur_Prolog","replies":[]},{"headingLevel":2,"name":"h-Spidermario-2010-03-24T13:50:00.000Z","type":"heading","level":0,"id":"h-Problèmes_avec_l'exemple_(partie_évaluation)-2010-03-24T13:50:00.000Z","replies":[{"timestamp":"2010-03-24T13:50:00.000Z","author":"Spidermario","type":"comment","level":1,"id":"c-Spidermario-2010-03-24T13:50:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)","replies":[]},{"timestamp":"2010-04-20T07:45:00.000Z","author":"90.27.28.164","type":"comment","level":1,"id":"c-90.27.28.164-2010-04-20T07:45:00.000Z-Problèmes_avec_l'exemple_(partie_évaluation)","replies":[]}]},{"headingLevel":2,"name":"h-Eskimo-2006-01-31T23:25:00.000Z","type":"heading","level":0,"id":"h-Lien_externe_mort-2006-01-31T23:25:00.000Z","replies":[{"timestamp":"2006-01-31T23:25:00.000Z","author":"Eskimo","type":"comment","level":1,"id":"c-Eskimo-2006-01-31T23:25:00.000Z-Lien_externe_mort","replies":[]}]},{"headingLevel":2,"name":"h-Eusebius-2007-07-30T09:49:00.000Z","type":"heading","level":0,"id":"h-Lien_sur_la_page_web_d'Alain_Colmerauer-2007-07-30T09:49:00.000Z","replies":[{"timestamp":"2007-07-30T09:49:00.000Z","author":"Eusebius","type":"comment","level":1,"id":"c-Eusebius-2007-07-30T09:49:00.000Z-Lien_sur_la_page_web_d'Alain_Colmerauer","replies":[]}]},{"headingLevel":2,"name":"h-Spidermario-2010-03-24T14:21:00.000Z","type":"heading","level":0,"id":"h-Prédicats_multiples-2010-03-24T14:21:00.000Z","replies":[{"timestamp":"2010-03-24T14:21:00.000Z","author":"Spidermario","type":"comment","level":1,"id":"c-Spidermario-2010-03-24T14:21:00.000Z-Prédicats_multiples","replies":[{"timestamp":"2015-07-05T23:16:00.000Z","author":"Lf69100","type":"comment","level":2,"id":"c-Lf69100-2015-07-05T23:16:00.000Z-Spidermario-2010-03-24T14:21:00.000Z","replies":[]}]}]},{"headingLevel":2,"name":"h-Zandr4-2012-07-27T04:21:00.000Z","type":"heading","level":0,"id":"h-Bug_bizarre-2012-07-27T04:21:00.000Z","replies":[{"timestamp":"2012-07-27T04:21:00.000Z","author":"Zandr4","type":"comment","level":1,"id":"c-Zandr4-2012-07-27T04:21:00.000Z-Bug_bizarre","replies":[]}]},{"headingLevel":2,"name":"h-82.226.27.88-2013-02-23T02:38:00.000Z","type":"heading","level":0,"id":"h-Article_important,_mais_mélangeant_des_informations_très_inégales-2013-02-23T02:38:00.000Z","replies":[{"timestamp":"2013-02-23T02:38:00.000Z","author":"82.226.27.88","type":"comment","level":1,"id":"c-82.226.27.88-2013-02-23T02:38:00.000Z-Article_important,_mais_mélangeant_des_informations_très_inégales","replies":[]}]},{"headingLevel":2,"name":"h-Lf69100-2015-07-05T22:55:00.000Z","type":"heading","level":0,"id":"h-Remarques-2015-07-05T22:55:00.000Z","replies":[{"timestamp":"2015-07-05T22:55:00.000Z","author":"Lf69100","type":"comment","level":1,"id":"c-Lf69100-2015-07-05T22:55:00.000Z-Remarques","replies":[]}]},{"headingLevel":2,"name":"h-Lf69100-2016-05-23T16:41:00.000Z","type":"heading","level":0,"id":"h-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'-2016-05-23T16:41:00.000Z","replies":[{"timestamp":"2016-05-23T16:41:00.000Z","author":"Lf69100","type":"comment","level":1,"id":"c-Lf69100-2016-05-23T16:41:00.000Z-Remplacement_de_'grammaire_générative'_par_'applications_grammaticales'","replies":[]}]},{"headingLevel":2,"name":"h-Sukkoria-2016-04-04T12:42:00.000Z","type":"heading","level":0,"id":"h-Importance_de_XSB-2016-04-04T12:42:00.000Z","replies":[{"timestamp":"2016-04-04T12:42:00.000Z","author":"Sukkoria","type":"comment","level":1,"id":"c-Sukkoria-2016-04-04T12:42:00.000Z-Importance_de_XSB","replies":[]}]}],"wgPageParseReport":{"limitreport":{"cputime":"0.017","walltime":"0.025","ppvisitednodes":{"value":27,"limit":1000000},"postexpandincludesize":{"value":1655,"limit":2097152},"templateargumentsize":{"value":0,"limit":2097152},"expansiondepth":{"value":3,"limit":100},"expensivefunctioncount":{"value":9,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 0.000 1 -total"]},"scribunto":{"limitreport-timeusage":{"value":"0.005","limit":"10.000"},"limitreport-memusage":{"value":632449,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-79d9bc49cc-d5zlg","timestamp":"20241203024759","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>