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-disabled skin-theme-clientpref-day vector-toc-available" lang="io" dir="ltr"> <head> <meta charset="UTF-8"> <title>Prolog - Wikipedio</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-disabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )iowikimwclientpreferences=([^;]+)/);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":["","di januaro","di februaro","di marto","di aprilo","di mayo","di junio","di julio","di agosto","di septembro","di oktobro","di novembro","di decembro"],"wgRequestId":"05444983-05c9-45fc-b65f-5ea1e25204af","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Prolog","wgTitle":"Prolog","wgCurRevisionId":1019971,"wgRevisionId":1019971,"wgArticleId":5275,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Informatiko"],"wgPageViewLanguage":"io","wgPageContentLanguage":"io","wgPageContentModel":"wikitext","wgRelevantPageName":"Prolog","wgRelevantArticleId":5275,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{ "pageLanguageCode":"io","pageLanguageDir":"ltr","pageVariantFallbacks":"io"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":10000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q163468","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", "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","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</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=io&modules=ext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=io&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=io&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <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="Prolog - Wikipedio"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//io.m.wikipedia.org/wiki/Prolog"> <link rel="alternate" type="application/x-wiki" title="Redaktar" href="/w/index.php?title=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="Wikipedio (io)"> <link rel="EditURI" type="application/rsd+xml" href="//io.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://io.wikipedia.org/wiki/Prolog"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.io"> <link rel="alternate" type="application/atom+xml" title="Wikipedio Atom Provizajo" href="/w/index.php?title=Specala:RecentaChanji&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Prolog rootpage-Prolog skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Irez a kontenajo</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="Retopagino"> <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="Chef-menuo" > <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">Chef-menuo</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">Chef-menuo</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">movar a latera panelo</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">celez</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigado </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Frontispico" title="Vizitez la chefpagino [z]" accesskey="z"><span>Chefpagino</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedio:Komuneso-portalo" title="Pri la projeto, quon vu facus, ube trovus utilaji"><span>Portalo di la komunitato</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Wikipedio:Aktualaji" title="Trovez informi pri nuna eventi"><span>Aktualajo</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Specala:RecentaChanji" title="Listo di recenta chanji en la wiki. [r]" accesskey="r"><span>Recenta chanji</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Specala:HazardaPagino" title="Vizitez hazarda pagino [x]" accesskey="x"><span>Pagino hazarde</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Wikipedio:Helpo" title="La loko por trovar ulo."><span>Helpo</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Frontispico" 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="Wikipedio" src="/static/images/mobile/copyright/wikipedia-wordmark-io.svg" style="width: 7.5em; height: 1.1875em;"> <img class="mw-logo-tagline" alt="La Libera Enciklopedio" src="/static/images/mobile/copyright/wikipedia-tagline-io.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/Specala:Serchar" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Serchar en Wikipedio [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Serchuro</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="Serchez en Wikipedio" aria-label="Serchez en Wikipedio" autocapitalize="sentences" title="Serchar en Wikipedio [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Specala:Serchar"> </div> <button class="cdx-button cdx-search-input__end-button">Serchez</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Personala utensili"> <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="Aspekto"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <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="Aspekto" > <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">Aspekto</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_io.wikipedia.org&uselang=io" class=""><span>Donacaji</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=Specala:KrearKonto&returnto=Prolog" title="Vu stimulesas a krear konto e facar "log in". Tamen, to ne esas obliganta" class=""><span>Krear konto</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=Specala:Enirar&returnto=Prolog" title="Vu darfas enirar uzante vua pas-vorto, ma lo ne esas preskriptata. [o]" accesskey="o" class=""><span>Enirar</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="Plusa selekti" > <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="Personala utensili" > <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">Personala utensili</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal" title="Uzero-menuo" > <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_io.wikipedia.org&uselang=io"><span>Donacaji</span></a></li><li id="pt-contribute" class="mw-list-item"><a href="/wiki/Specala:Contribute"><span class="vector-icon mw-ui-icon-edit mw-ui-icon-wikimedia-edit"></span> <span>Kontributar</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Specala:KrearKonto&returnto=Prolog" title="Vu stimulesas a krear konto e facar "log in". Tamen, to ne esas obliganta"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Krear konto</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Specala:Enirar&returnto=Prolog" title="Vu darfas enirar uzante vua pas-vorto, ma lo ne esas preskriptata. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Enirar</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"> Pagini por redakteri neenrejistrita <a href="/wiki/Helpo:Enkonduko" aria-label="Savez pluse pri quale redaktar"><span>lernez pluse</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Specala:MeaDiskuti" title="Diskuto pri redakti de ca IP-adreso [n]" accesskey="n"><span>Debatar per ca IP-adreso</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="Retopagino"> <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="Kontenajo" 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">Kontenajo</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">movar a latera panelo</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">celez</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">Komenco dil artiklo</div> </a> </li> <li id="toc-Tipi_di_donaji" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Tipi_di_donaji"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Tipi di donaji</span> </div> </a> <button aria-controls="toc-Tipi_di_donaji-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Baskuli Tipi di donaji subsekcio</span> </button> <ul id="toc-Tipi_di_donaji-sublist" class="vector-toc-list"> <li id="toc-Atomi" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Atomi"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.1</span> <span>Atomi</span> </div> </a> <ul id="toc-Atomi-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Nombri" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Nombri"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.2</span> <span>Nombri</span> </div> </a> <ul id="toc-Nombri-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Variani" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Variani"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.3</span> <span>Variani</span> </div> </a> <ul id="toc-Variani-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Termini" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Termini"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.4</span> <span>Termini</span> </div> </a> <ul id="toc-Termini-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Listi" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Listi"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.5</span> <span>Listi</span> </div> </a> <ul id="toc-Listi-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Kateni_di_signi" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Kateni_di_signi"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.6</span> <span>Kateni di signi</span> </div> </a> <ul id="toc-Kateni_di_signi-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Fakti" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Fakti"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Fakti</span> </div> </a> <ul id="toc-Fakti-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Normi" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Normi"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Normi</span> </div> </a> <ul id="toc-Normi-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Evaluo" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Evaluo"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Evaluo</span> </div> </a> <button aria-controls="toc-Evaluo-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Baskuli Evaluo subsekcio</span> </button> <ul id="toc-Evaluo-sublist" class="vector-toc-list"> <li id="toc-Nego" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Nego"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.1</span> <span>Nego</span> </div> </a> <ul id="toc-Nego-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Exekuto" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Exekuto"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Exekuto</span> </div> </a> <ul id="toc-Exekuto-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="Kontenajo" 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="Ŝaltu la enhavtabelon" > <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">Ŝaltu la enhavtabelon</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-main">Prolog</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <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" aria-label="Iru al artikolo en alia lingvo. Havebla en 58 lingvo" > <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--action-progressive mw-portlet-lang-heading-58" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">58 Lingui</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-an mw-list-item"><a href="https://an.wikipedia.org/wiki/Prolog" title="Prolog — aragona" lang="an" hreflang="an" data-title="Prolog" data-language-autonym="Aragonés" data-language-local-name="aragona" class="interlanguage-link-target"><span>Aragonés</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%A8%D8%B1%D9%88%D9%84%D9%88%D8%BA" title="برولوغ — araba" lang="ar" hreflang="ar" data-title="برولوغ" data-language-autonym="العربية" data-language-local-name="araba" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/Prolog" title="Prolog — asturia" lang="ast" hreflang="ast" data-title="Prolog" data-language-autonym="Asturianu" data-language-local-name="asturia" class="interlanguage-link-target"><span>Asturianu</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Proloq_dili" title="Proloq dili — azerbajĝana" lang="az" hreflang="az" data-title="Proloq dili" data-language-autonym="Azərbaycanca" data-language-local-name="azerbajĝana" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-bat-smg mw-list-item"><a href="https://bat-smg.wikipedia.org/wiki/Prolog" title="Prolog — Samogitian" lang="sgs" hreflang="sgs" data-title="Prolog" data-language-autonym="Žemaitėška" data-language-local-name="Samogitian" class="interlanguage-link-target"><span>Žemaitėška</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9F%D1%80%D0%B0%D0%BB%D0%BE%D0%B3_(%D0%BC%D0%BE%D0%B2%D0%B0_%D0%BF%D1%80%D0%B0%D0%B3%D1%80%D0%B0%D0%BC%D0%B0%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F)" title="Пралог (мова праграмавання) — belorusa" lang="be" hreflang="be" data-title="Пралог (мова праграмавання)" data-language-autonym="Беларуская" data-language-local-name="belorusa" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3_(%D0%B5%D0%B7%D0%B8%D0%BA_%D0%B7%D0%B0_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%B8%D1%80%D0%B0%D0%BD%D0%B5)" title="Пролог (език за програмиране) — bulgara" lang="bg" hreflang="bg" data-title="Пролог (език за програмиране)" data-language-autonym="Български" data-language-local-name="bulgara" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Prolog" title="Prolog — kataluna" lang="ca" hreflang="ca" data-title="Prolog" data-language-autonym="Català" data-language-local-name="kataluna" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Prolog_(programovac%C3%AD_jazyk)" title="Prolog (programovací jazyk) — ĉeĥa" lang="cs" hreflang="cs" data-title="Prolog (programovací jazyk)" data-language-autonym="Čeština" data-language-local-name="ĉeĥa" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Prolog_(programmeringssprog)" title="Prolog (programmeringssprog) — dana" lang="da" hreflang="da" data-title="Prolog (programmeringssprog)" data-language-autonym="Dansk" data-language-local-name="dana" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Prolog_(Programmiersprache)" title="Prolog (Programmiersprache) — germana" lang="de" hreflang="de" data-title="Prolog (Programmiersprache)" data-language-autonym="Deutsch" data-language-local-name="germana" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/Prolog" title="Prolog — greka" lang="el" hreflang="el" data-title="Prolog" data-language-autonym="Ελληνικά" data-language-local-name="greka" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Prolog" title="Prolog — angla" lang="en" hreflang="en" data-title="Prolog" data-language-autonym="English" data-language-local-name="angla" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Prologo_(programlingvo)" title="Prologo (programlingvo) — Esperanto" lang="eo" hreflang="eo" data-title="Prologo (programlingvo)" data-language-autonym="Esperanto" data-language-local-name="Esperanto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Prolog" title="Prolog — hispana" lang="es" hreflang="es" data-title="Prolog" data-language-autonym="Español" data-language-local-name="hispana" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Prolog" title="Prolog — estona" lang="et" hreflang="et" data-title="Prolog" data-language-autonym="Eesti" data-language-local-name="estona" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Prolog" title="Prolog — eŭska" lang="eu" hreflang="eu" data-title="Prolog" data-language-autonym="Euskara" data-language-local-name="eŭska" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%BE%D8%B1%D9%88%D9%84%D9%88%DA%AF" title="پرولوگ — persa" lang="fa" hreflang="fa" data-title="پرولوگ" data-language-autonym="فارسی" data-language-local-name="persa" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Prolog" title="Prolog — finna" lang="fi" hreflang="fi" data-title="Prolog" data-language-autonym="Suomi" data-language-local-name="finna" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Prolog" title="Prolog — franca" lang="fr" hreflang="fr" data-title="Prolog" data-language-autonym="Français" data-language-local-name="franca" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-ga mw-list-item"><a href="https://ga.wikipedia.org/wiki/Prolog" title="Prolog — irlanda" lang="ga" hreflang="ga" data-title="Prolog" data-language-autonym="Gaeilge" data-language-local-name="irlanda" class="interlanguage-link-target"><span>Gaeilge</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/Prolog" title="Prolog — galega" lang="gl" hreflang="gl" data-title="Prolog" data-language-autonym="Galego" data-language-local-name="galega" class="interlanguage-link-target"><span>Galego</span></a></li><li class="interlanguage-link interwiki-hak mw-list-item"><a href="https://hak.wikipedia.org/wiki/Prolog" title="Prolog — Hakka Chinese" lang="hak" hreflang="hak" data-title="Prolog" data-language-autonym="客家語 / Hak-kâ-ngî" data-language-local-name="Hakka Chinese" class="interlanguage-link-target"><span>客家語 / Hak-kâ-ngî</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%A4%D7%A8%D7%95%D7%9C%D7%95%D7%92_(%D7%A9%D7%A4%D7%AA_%D7%AA%D7%9B%D7%A0%D7%95%D7%AA)" title="פרולוג (שפת תכנות) — hebrea" lang="he" hreflang="he" data-title="פרולוג (שפת תכנות)" data-language-autonym="עברית" data-language-local-name="hebrea" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Prolog" title="Prolog — hungara" lang="hu" hreflang="hu" data-title="Prolog" data-language-autonym="Magyar" data-language-local-name="hungara" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Prolog" title="Prolog — indonezia" lang="id" hreflang="id" data-title="Prolog" data-language-autonym="Bahasa Indonesia" data-language-local-name="indonezia" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-is mw-list-item"><a href="https://is.wikipedia.org/wiki/Prolog" title="Prolog — islanda" lang="is" hreflang="is" data-title="Prolog" data-language-autonym="Íslenska" data-language-local-name="islanda" class="interlanguage-link-target"><span>Íslenska</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Prolog" title="Prolog — itala" lang="it" hreflang="it" data-title="Prolog" data-language-autonym="Italiano" data-language-local-name="itala" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/Prolog" title="Prolog — japana" lang="ja" hreflang="ja" data-title="Prolog" data-language-autonym="日本語" data-language-local-name="japana" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-jbo mw-list-item"><a href="https://jbo.wikipedia.org/wiki/prolog" title="prolog — Loĵbano" lang="jbo" hreflang="jbo" data-title="prolog" data-language-autonym="La .lojban." data-language-local-name="Loĵbano" class="interlanguage-link-target"><span>La .lojban.</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%ED%94%84%EB%A1%A4%EB%A1%9C%EA%B7%B8_(%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%98%EB%B0%8D_%EC%96%B8%EC%96%B4)" title="프롤로그 (프로그래밍 언어) — korea" lang="ko" hreflang="ko" data-title="프롤로그 (프로그래밍 언어)" data-language-autonym="한국어" data-language-local-name="korea" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-lv mw-list-item"><a href="https://lv.wikipedia.org/wiki/Prolog" title="Prolog — latva" lang="lv" hreflang="lv" data-title="Prolog" data-language-autonym="Latviešu" data-language-local-name="latva" class="interlanguage-link-target"><span>Latviešu</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D1%81%D0%BA%D0%B8_%D1%98%D0%B0%D0%B7%D0%B8%D0%BA)" title="Пролог (програмски јазик) — makedona" lang="mk" hreflang="mk" data-title="Пролог (програмски јазик)" data-language-autonym="Македонски" data-language-local-name="makedona" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Prolog" title="Prolog — malaja" lang="ms" hreflang="ms" data-title="Prolog" data-language-autonym="Bahasa Melayu" data-language-local-name="malaja" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-nl badge-Q17437796 badge-featuredarticle mw-list-item" title="artikli di qualeso"><a href="https://nl.wikipedia.org/wiki/Prolog" title="Prolog — nederlanda" lang="nl" hreflang="nl" data-title="Prolog" data-language-autonym="Nederlands" data-language-local-name="nederlanda" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Programmeringsspr%C3%A5ket_Prolog" title="Programmeringsspråket Prolog — novnorvega" lang="nn" hreflang="nn" data-title="Programmeringsspråket Prolog" data-language-autonym="Norsk nynorsk" data-language-local-name="novnorvega" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Prolog_(programmeringsspr%C3%A5k)" title="Prolog (programmeringsspråk) — dannorvega" lang="nb" hreflang="nb" data-title="Prolog (programmeringsspråk)" data-language-autonym="Norsk bokmål" data-language-local-name="dannorvega" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-pdc mw-list-item"><a href="https://pdc.wikipedia.org/wiki/Prolog" title="Prolog — Pennsylvania German" lang="pdc" hreflang="pdc" data-title="Prolog" data-language-autonym="Deitsch" data-language-local-name="Pennsylvania German" class="interlanguage-link-target"><span>Deitsch</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Prolog_(j%C4%99zyk_programowania)" title="Prolog (język programowania) — pola" lang="pl" hreflang="pl" data-title="Prolog (język programowania)" data-language-autonym="Polski" data-language-local-name="pola" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Prolog" title="Prolog — portugala" lang="pt" hreflang="pt" data-title="Prolog" data-language-autonym="Português" data-language-local-name="portugala" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Prolog_(limbaj_de_programare)" title="Prolog (limbaj de programare) — rumana" lang="ro" hreflang="ro" data-title="Prolog (limbaj de programare)" data-language-autonym="Română" data-language-local-name="rumana" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F)" title="Пролог (язык программирования) — rusa" lang="ru" hreflang="ru" data-title="Пролог (язык программирования)" data-language-autonym="Русский" data-language-local-name="rusa" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-rue mw-list-item"><a href="https://rue.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D2%91_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D2%91%D1%80%D0%B0%D0%BC%D0%BE%D0%B2%D0%B0%D0%BD%D1%8F)" title="Пролоґ (язык проґрамованя) — Rusyn" lang="rue" hreflang="rue" data-title="Пролоґ (язык проґрамованя)" data-language-autonym="Русиньскый" data-language-local-name="Rusyn" class="interlanguage-link-target"><span>Русиньскый</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Prolog" title="Prolog — Simple English" lang="en-simple" hreflang="en-simple" data-title="Prolog" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Prolog" title="Prolog — slovaka" lang="sk" hreflang="sk" data-title="Prolog" data-language-autonym="Slovenčina" data-language-local-name="slovaka" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Prolog_(programski_jezik)" title="Prolog (programski jezik) — slovena" lang="sl" hreflang="sl" data-title="Prolog (programski jezik)" data-language-autonym="Slovenščina" data-language-local-name="slovena" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/Prolog_(programski_jezik)" title="Prolog (programski jezik) — serba" lang="sr" hreflang="sr" data-title="Prolog (programski jezik)" data-language-autonym="Српски / srpski" data-language-local-name="serba" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Prolog_(programspr%C3%A5k)" title="Prolog (programspråk) — sveda" lang="sv" hreflang="sv" data-title="Prolog (programspråk)" data-language-autonym="Svenska" data-language-local-name="sveda" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-ta mw-list-item"><a href="https://ta.wikipedia.org/wiki/%E0%AE%AA%E0%AF%81%E0%AE%B0%E0%AF%8A%E0%AE%B2%E0%AE%BE%E0%AE%95%E0%AF%8D" title="புரொலாக் — tamila" lang="ta" hreflang="ta" data-title="புரொலாக்" data-language-autonym="தமிழ்" data-language-local-name="tamila" class="interlanguage-link-target"><span>தமிழ்</span></a></li><li class="interlanguage-link interwiki-tg mw-list-item"><a href="https://tg.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3_(%D0%B7%D0%B0%D0%B1%D0%BE%D0%BD%D0%B8_%D0%B1%D0%B0%D1%80%D0%BD%D0%BE%D0%BC%D0%B0%D0%BD%D0%B0%D0%B2%D0%B8%D1%81%D3%A3)" title="Пролог (забони барноманависӣ) — taĝika" lang="tg" hreflang="tg" data-title="Пролог (забони барноманависӣ)" data-language-autonym="Тоҷикӣ" data-language-local-name="taĝika" class="interlanguage-link-target"><span>Тоҷикӣ</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%A0%E0%B8%B2%E0%B8%A9%E0%B8%B2%E0%B9%82%E0%B8%9B%E0%B8%A3%E0%B8%A5%E0%B9%87%E0%B8%AD%E0%B8%81" title="ภาษาโปรล็อก — taja" lang="th" hreflang="th" data-title="ภาษาโปรล็อก" data-language-autonym="ไทย" data-language-local-name="taja" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Prolog" title="Prolog — turka" lang="tr" hreflang="tr" data-title="Prolog" data-language-autonym="Türkçe" data-language-local-name="turka" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3_(%D0%BC%D0%BE%D0%B2%D0%B0_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F)" title="Пролог (мова програмування) — ukraina" lang="uk" hreflang="uk" data-title="Пролог (мова програмування)" data-language-autonym="Українська" data-language-local-name="ukraina" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/Prolog" title="Prolog — uzbeka" lang="uz" hreflang="uz" data-title="Prolog" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="uzbeka" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Prolog" title="Prolog — vjetnama" lang="vi" hreflang="vi" data-title="Prolog" data-language-autonym="Tiếng Việt" data-language-local-name="vjetnama" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-yo mw-list-item"><a href="https://yo.wikipedia.org/wiki/Prolog" title="Prolog — joruba" lang="yo" hreflang="yo" data-title="Prolog" data-language-autonym="Yorùbá" data-language-local-name="joruba" class="interlanguage-link-target"><span>Yorùbá</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/Prolog" title="Prolog — ĉina" lang="zh" hreflang="zh" data-title="Prolog" data-language-autonym="中文" data-language-local-name="ĉina" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/Prolog" title="Prolog — kantona" lang="yue" hreflang="yue" data-title="Prolog" data-language-autonym="粵語" data-language-local-name="kantona" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q163468#sitelinks-wikipedia" title="Redaktar la ligili ad altra lingui" class="wbc-editpage">Redaktar ligili</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Nomaro"> <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="selected vector-tab-noicon mw-list-item"><a href="/wiki/Prolog" title="Vidar la kontenajo di ca pagino [c]" accesskey="c"><span>Artiklo</span></a></li><li id="ca-talk" class="new vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Debato:Prolog&action=edit&redlink=1" rel="discussion" class="new" title="Diskuto pri la pagino di kontenajo (pagino ne existas) [t]" accesskey="t"><span>Debato</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="Modifikar linguala varianto" > <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">Ido</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="Apari"> <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/Prolog"><span>Lektar</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Prolog&veaction=edit" title="Redaktar ica pagino [v]" accesskey="v"><span>Redaktar</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Prolog&action=edit" title="Redaktar la fonto-kodexo di ca pagino [e]" accesskey="e"><span>Redaktar fonto</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Prolog&action=history" title="Pasinta versioni di ca pagino [h]" accesskey="h"><span>Kronologio</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Utensili por pagini"> <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="Utensili" > <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">Utensili</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">Utensili</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">movar a latera panelo</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">celez</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Plusa selekti" > <div class="vector-menu-heading"> Agadi </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/Prolog"><span>Lektar</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Prolog&veaction=edit" title="Redaktar ica pagino [v]" accesskey="v"><span>Redaktar</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Prolog&action=edit" title="Redaktar la fonto-kodexo di ca pagino [e]" accesskey="e"><span>Redaktar fonto</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Prolog&action=history"><span>Kronologio</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Ordinara </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Specala:QuoLigasHike/Prolog" title="Listo pri omna Wikipagini qui ligesas adhike [j]" accesskey="j"><span>Quo ligesas adhike?</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Specala:RelatantaChanji/Prolog" rel="nofollow" title="Recenta chanji di pagini ligita de ca pagino [k]" accesskey="k"><span>Relatanta chanji</span></a></li><li id="t-upload" class="mw-list-item"><a href="//commons.wikimedia.org/wiki/Special:UploadWizard?uselang=io" title="Adkargez arkivi [u]" accesskey="u"><span>Adkargar arkivo</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Specala:SpecalaPagini" title="Montrez listo di omna specala pagini [q]" accesskey="q"><span>Specala pagini</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Prolog&oldid=1019971" title="Permananta ligilo vers ita versiono di ta pagino"><span>Permananta ligilo</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Prolog&action=info" title="Plusa informo pri ca pagino"><span>Informo pri ca pagino</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Specala:Citar&page=Prolog&id=1019971&wpFormIdentifier=titleform" title="Informo pri quale citar ica pagino"><span>Citar ca pagino</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Specala:UrlShortener&url=https%3A%2F%2Fio.wikipedia.org%2Fwiki%2FProlog"><span>Obtenar kurta URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Specala:QrCode&url=https%3A%2F%2Fio.wikipedia.org%2Fwiki%2FProlog"><span>Descharjar QR-kodexo</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"> Imprimar/exportacar </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=Specala:Libro&bookcmd=book_creator&referer=Prolog"><span>Kreez libro</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Specala:DownloadAsPdf&page=Prolog&action=show-download-screen"><span>Deskargar quale PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Prolog&printable=yes" title="Imprimebla versiono di ca pagino [p]" accesskey="p"><span>Imprimebla versiono</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> En altra projeti </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Prolog_programming_language" hreflang="en"><span>Wikimedia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q163468" title="Ligilo ad arkivo de la datumaro [g]" accesskey="g"><span>Redakto en Wikidata</span></a></li> </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="Utensili por pagini"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Aspekto"> <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">Aspekto</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">movar a latera panelo</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">celez</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">De Wikipedio</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="io" dir="ltr"><p><i><b>Prolog</b></i> esas un ek la precipua <a href="/wiki/Programifo-lingui" class="mw-redirect" title="Programifo-lingui">programifo-lingui</a> di <a href="/wiki/Logikala_programigado" title="Logikala programigado">logikala programigado</a>. La nomo <i>Prolog</i> esas franca <a href="/wiki/Akronimo" title="Akronimo">akronimo</a> di PROgrammation LOGique. Ol kreesis da <a href="/w/index.php?title=Alain_Colmerauer&action=edit&redlink=1" class="new" title="Alain Colmerauer (pagino ne existas)">Alain Colmerauer</a>, <a href="/w/index.php?title=Philippe_Roussel&action=edit&redlink=1" class="new" title="Philippe Roussel (pagino ne existas)">Philippe Roussel</a> e <a href="/w/index.php?title=Robert_Kowalski&action=edit&redlink=1" class="new" title="Robert Kowalski (pagino ne existas)">Robert Kowalski</a> cirkume <a href="/wiki/1972" title="1972">1972</a>. La skopo di lua kreo esis developar <a href="/wiki/Programifo-lingui" class="mw-redirect" title="Programifo-lingui">programifo-linguo</a> qua permisus uzar reguli <a href="/wiki/Logiko" title="Logiko">logikala</a> por solvar problemi, e transformar ca reguli en serio di instrukti por la <a href="/wiki/Komputero" title="Komputero">komputero</a>. </p><p><br /> </p> <table align="center" class="noprint" style="width:80%; margin:10px auto; border-collapse:collapse; background: #fbfbfb; border: 1px solid #aaa; border-top: 5px solid #F28500}}};"> <tbody><tr> <td width="8%;" align="center"><div style="width:52px;"> <span typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/40px-Commons-emblem-issue.svg.png" decoding="async" width="40" height="40" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/60px-Commons-emblem-issue.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/80px-Commons-emblem-issue.svg.png 2x" data-file-width="48" data-file-height="48" /></span></span> </div> </td> <td width="91%"><b>Ica seciono od artiklo havas un o plura problemi:</b><br />- erori pri sintaxo o gramatiko<br />- konfuza texto o mala tradukuro<br />- manko di importanta informi pri la temo<br />- violaco di autoroyuro.<br /><br />Ol mustos revizesar komplete. </td></tr></tbody></table> <p>Prolog uzesas en multa programi di <a href="/wiki/Artifical_inteligenteso" title="Artifical inteligenteso">artifical inteligenteso</a>, ed en la trakto dil linguistiko per komputero (precipue koncernanta naturala lingui). Lua sintaxo e semantiko judikesas kom tre simpla e klara (la skopo esas prokurar utensilo per la linguisti ne-savinta l'neformala). Multa ek la inquesti duktinta al aktuala instalo de Prolog venus di efektis di projeti per la komputeri dil kinesma generaciono ke uzis kom bazo vario. </p><p>La bazo di <i>Prolog</i> esas la kalkulo di predicati di unesma rango ; tamen ol esas restriktar ad aceptar sole la <a href="/w/index.php?title=Klauzo_de_Horn&action=edit&redlink=1" class="new" title="Klauzo de Horn (pagino ne existas)">klauzi de Horn</a>. L'exekuto di Prolog programo esas efektive apliko di teorio provinta per rezolvo di unesma rango. La fondamenta <a href="/wiki/Konceptajo" title="Konceptajo">konceptaji</a> esas l'uneso, la recurzivita, e la retro-veno sur traco. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Tipi_di_donaji">Tipi di donaji</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=1" title="Redaktar seciono: Tipi di donaji" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=1" title="Redakti la fontkodo de la sekcio: Tipi di donaji"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Prolog ne uzas tipi di donaji en la ordinara maniero di lingui di programo. Ni devas parlar lore to kelkafoye di lexika elementi. </p> <div class="mw-heading mw-heading3"><h3 id="Atomi">Atomi</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=2" title="Redaktar seciono: Atomi" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=2" title="Redakti la fontkodo de la sekcio: Atomi"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La konstanta texti esas en-duktita per la moyeno di atomi. Atomo esas sequo konsistinta ek letri, nombri e sub streki, qui komencas per minuskula letro. Komence, se atomo ne-alfanumerala esas necesa ol esas cirkondita per apostrofi (exemple '+' esas atomo, + esas operacanto). </p> <div class="mw-heading mw-heading3"><h3 id="Nombri">Nombri</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=3" title="Redaktar seciono: Nombri" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=3" title="Redakti la fontkodo de la sekcio: Nombri"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La plumulteso di prolog instali ne facas diferanta inter di integra e reala nombri. </p> <div class="mw-heading mw-heading3"><h3 id="Variani">Variani</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=4" title="Redaktar seciono: Variani" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=4" title="Redakti la fontkodo de la sekcio: Variani"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La variani esas indikita en uzinta ensemblo di letri, nombri e sub-strekiza signi e komencinta kun majuskula letro. En l'ambiento Prolog, variano ne esas kontenanto, qua povas esar asignita (a l'inversa di lingui di programeso de proceduro). Sua konduto esas plu proxim di forma, qua esas plus specifita per l'unieso. </p><p>L' <i>anonima varianto</i> skribesas kun sub-strekiza (_). </p> <div class="mw-heading mw-heading3"><h3 id="Termini">Termini</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=5" title="Redaktar seciono: Termini" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=5" title="Redakti la fontkodo de la sekcio: Termini"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La termini esas la sola fasoni do Prolog povas reprezentar komplexa donaji. Termino konsistas en kapo, anke nomizita foncto (ke povas esar atomo), e di parametri (sen restrikto di tipo). La nombro di parametri, anke nomizita <a href="/wiki/Arito" title="Arito">arito</a> di termino, esas sencala. Termino esas identigita per sua kapo e sua arito, ofte skribas kom funcionero/arito. </p> <div class="mw-heading mw-heading3"><h3 id="Listi">Listi</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=6" title="Redaktar seciono: Listi" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=6" title="Redakti la fontkodo de la sekcio: Listi"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Listo ne esas tipo di izolata donaji, nam ol esas definita per recursiva konstrukto (uzinta termino '.'/2) : </p> <ol><li>atomo [] esas vakua listo</li> <li>se <i>T</i> esas listo e <i>H</i> esas elemento, lore termino '.'(<i>H</i>, <i>T</i>) es listo.</li></ol> <p>L'unesma elemento, nomizita la kapo, esas <i>H</i>, qua esas sequas per la kontenita di ceteri dil listo, indikita kom <i>T</i> o kaudo. La listo <i>[1, 2, 3]</i> reprezentesus en interna kom '.'(<i>1</i>, '.'(<i>2</i>, '.'(<i>3</i>, []))) Plu korto di sintaxo es [<i>H</i> | <i>T</i>], qua e precipue per konstructar di normi. La tota listo povas esas traktita en operacinta la prima elemento, e seque la sequanto en la listo, per tale nomizita rekursiono*, to esas, kande ula funciono iteras sua propra exekuto plurafoye. </p><p>Pro la facileso di programigo la listi povas konstruktesar e deskonstruktesar da diversa manieri. </p> <ul><li>Elemento enumero: [abc, 1, f(x), <i>Y</i>, g(<i>A</i>, rst)]</li> <li>Des-kompozar en sole elemento: [abc | <i>L1</i>]</li> <li>Des-kompozar en di multa elementi: [abc, 1, f(x) | <i>L2</i>]</li> <li>expanso di termino: '.'(abc, '.'(1, '.'(f(x), '.'(<i>Y</i>, '.'(g(<i>A</i>, rst), [])))))</li></ul> <div class="mw-heading mw-heading3"><h3 id="Kateni_di_signi">Kateni di signi</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=7" title="Redaktar seciono: Kateni di signi" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=7" title="Redakti la fontkodo de la sekcio: Kateni di signi"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La kateni di signi esas ordinare skritita kom sequo di signi cirkondita per di apostrofi. Ol reprezentesas ofte interne per listo di kodexo ASCII. </p> <div class="mw-heading mw-heading2"><h2 id="Fakti">Fakti</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=8" title="Redaktar seciono: Fakti" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=8" title="Redakti la fontkodo de la sekcio: Fakti"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La programigado en <i>Prolog</i> esas multe diferanta de la programigado en imperala lingui. En <i>Prolog</i>, vi alimentas bazo di donaji di fakti e di normi; vi povas lore questionar la bazo di donaji. L'uneso di bazo de Prolog esas la predicato, qua esas definita kom esinta vera. Predicato konsistas en kapo e nombri di argumenti. exemple: </p><p>kato(tom). </p><p>Hike 'kato' esas la kapo, e 'tom' esas l'argumento. Yen kelka simpla questioni ke vi povas demandar ad interpreto segun ta fakto: </p> <pre>?- kato(tom). yes. </pre> <pre>?- kato(X). X = tom; non. </pre> <p>La predicati esas en ordinare definita per expresar kelka fakto quon la programo konocas kelkafoye di mondo. En la plu-multeso queras ul-konvenciono. Do, ke versiono di du predicati sube volus signifikar ke Pat es la patro de Sally? </p> <pre>patro(sally, pat). patro(pat, sally). </pre> <p>Ambe kazo 'patro' esas la kapo dum ke 'sally' e 'pat' esas la argumenti. Tamen en la prima kazo, Sally venas unesma en la listo di argumenti, ed en la duesma to es Pat (la rango en la listo di argumenti importacas). La prima kazo esas exemplo di defino en la rango verbo-subjeto-objekto, e la duesmo di verbo-objekto-subjeto. Kom Prolog ne komprenas la naturala linguo, la du versioni esas korekta en to ke li koncernas; tamen to esas bona stilo de programeso ke di mantenar kohero di konvenciono en programo. </p><p>Kelka predicati establisesas en la linguo e permisas prolog programo facar rutinala aktivesi (exemple: l'eniro/ekiro di dati, uzar la <a href="/w/index.php?title=Grafika_interfacio&action=edit&redlink=1" class="new" title="Grafika interfacio (pagino ne existas)">grafika interfacio</a> e ordinare komunikar kun la sistemo dil komputero). exemple la predicato <tt>write</tt> povas uzesar por l'afishigo ala skreno. Do </p> <pre>write('Bonveno') </pre> <p>prezentos la verto 'Bonveno' ala skreno. </p> <div class="mw-heading mw-heading2"><h2 id="Normi">Normi</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=9" title="Redaktar seciono: Normi" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=9" title="Redakti la fontkodo de la sekcio: Normi"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La duesma tipo di instrukti en Prolog esas la normo. Exemplo di normo esas </p> <pre>lumo(on) :- interruptilo(on). </pre> <p>La « :- » signifikas « se »; ta normo indikas lumo(on) esas vera se interruptilo esas vera. Normi povas anke uzar di variani kom </p> <pre>patro(X,Y) :- gepatro(X,Y), maskulo(Y). </pre> <p>To ke signifikas « se kelko esas la gepatro di altra kelko e to esas maskulo, oli esas do la patro ». L'antea e konsequanta esas en l'inversa normo di to ke trovas normale en logika. Ol esas posibla di pozar di multa predicati e konseque, grupita kun uniono « e », exemple: </p> <pre>a, b, c :- d. </pre> <p>ke esas simple la equivalanto di tre separa normi, tamen la tri separa normi ne esas equivalanto di (a e b e c) se d, pro ke ol questionesas di uno « o » inkluzite: </p> <pre>a :- d. b :- d. c :- d. </pre> <p>To ke ne esas permisita esas di normi kam: </p> <pre>a;b :- c. </pre> <p>to qua esas « se c lore a o b ». To esas pro dil restrikto per la klauzo de Horn. </p> <div class="mw-heading mw-heading2"><h2 id="Evaluo">Evaluo</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=10" title="Redaktar seciono: Evaluo" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=10" title="Redakti la fontkodo de la sekcio: Evaluo"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Kande l'interpreto recevas demando ol probas di trovar di fakti ke korespondas ala questiono. Se irga simpla fakto es disponebla, ol probas di kontentigar omna la normi ke havas la fakto kom konkluzo. exemple havas to kodexo Prolog. </p> <pre>fratulo_o_fratino(X,Y) :- gepatro(Z,X), gepatro(Z,Y). patro(X,Y) :- gepatro(X,Y), maskulo(X). matro(X,Y) :- maskulo(X,Y), femino(X). gepatro(X,Y) :- patro(X,Y). gepatro(X,Y) :- matro(X,Y). matro(trude, sally). patro(tom, sally). patro(tom, erica). patro(mike, tom). maskulo(tom). femino(trude). maskulo(mike). </pre> <p>Ol kam rezultas ke la sequa demando esas evaluita kom vera: </p> <pre>?- fratulo_o_fratino(sally, erica) yes. </pre> <p>L'interpreto par-venas a to rezulto kam facinta korespondar la normo <tt> fratulo_o_fratino(X,Y)</tt> per kun-pozinta (preciza substitucinta) <i>sally</i> a <i>X</i> e <i>erica</i> a <i>Y</i>. <br /> </p><p>To signifikas ke la demando povas esar extensita a <tt>gepatro(Z,sally)</tt>, <tt>gepatro(Z,erica)</tt>. Igar korespondar ta uniono esas obtenita kam vidinta omni la posibla gepatro di <i>sally</i>. <br /> Tamen, <tt>parent(trude,sally)</tt> ne duktas a vivatra solvo, per ke se <i>trude</i> esas substitucita per <i>Z</i>, <tt> gepatro(trude,erica)</tt> devus esar vera, e irga fakto tala (o kelka normo qua povas kontentigar to) ne esas prezenta. Anke ala loko, <i>tom</i> substitucesas per <i>Z</i>, e <i>erica</i> e <i>sally</i> aparas esar <i>fratulo_o_fratino</i> tamen. </p> <pre>matro(X,Y) :- gepatro(X,Y), femina(X). gepatro(X,Y) :- patro(X,Y). </pre> <p>povas semblar suspekt. Sume omna gepatro ne esar patro. Ma ol es vera ke omna patro es gepatro. Di altra parto, kelko esar la matro di un ke se el esas sam-tempe sua gepatro e femina. </p><p>Per indikar ke omna la patri es maskulo vi havas bezono di kodexo </p> <pre>maskulo(X) :- patro(X,_). </pre> <p>to ke simple esas indiferanta a qua esas la filio (la sub-strekiza esas la <i>anonima varino</i>). </p> <div class="mw-heading mw-heading3"><h3 id="Nego">Nego</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=11" title="Redaktar seciono: Nego" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=11" title="Redakti la fontkodo de la sekcio: Nego"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Tipe, demando esas evaluita kom falsa per la merito di ne trovar di pozitiva normi o fakti qua suportas la stato. To nomizesas la premiso di klozita monda; on konsideras ke omna to qua devas esar konocita esas inkluzas en la bazo di donaji, lore ol ne esas di extera mondo ke povus kontenar la ne-konocata pruvi. En altra termini, se fakto ne esas konocata kom esinta vera (o falsa) ol esas konsiderita kom falsa. </p><p>Afirmo quale </p> <pre>legala(X) :- NOT nelegala(X). </pre> <p>povas sole evaluesar quale inquestinta exhaustante per omna la nelegala kozi, la komparinta a <i>X</i>, e se irga fakto nelegala povas troversar kom la mem ke <i>X</i>, <i>X</i> esas legala. To nomizesas <a href="/w/index.php?title=Nego_per_falio&action=edit&redlink=1" class="new" title="Nego per falio (pagino ne existas)">nego per falio</a>. </p> <div class="mw-heading mw-heading2"><h2 id="Exekuto">Exekuto</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Prolog&veaction=edit&section=12" title="Redaktar seciono: Exekuto" class="mw-editsection-visualeditor"><span>redaktar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Prolog&action=edit&section=12" title="Redakti la fontkodo de la sekcio: Exekuto"><span>redaktar fonto</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Prolog esas logikala linguo, anke quale teorio vi ne devus vi pre-okupar di quale ol exekutas su. </p><p>Tamen ol esas kelke foye prudenta di prenar en konto quale l'algoritmo di infero agas, por evitar ke la programo en Prolog divenas tro longa. </p><p>exemple, ni povas skribar di kodexo per kontar la nombro di elementi de listo. </p> <pre>elemi([],0). elemi([H|T], X) :- elemi(T, Y), X esas Y + 1. </pre> <p>To signifikas simple; se la listo es vakua, la nombro di elementi esas zero. <br /> Se listo ne esas vakua, lore X esas augmentita di un per raporto a Y, qua esas la nombro di elementi en la cetero del listo sen la prima elemento. </p><p>En ta kazo, ol havas clara distingo inter la kazi en l'antea en la normi. Ma konsiderar la kazo ube vi havas bezono di decidar se vi continuas a ludar en cazino; </p> <pre>mizar(X) :- havarpekunio(X). mizar(X) :- havarkredito(X), NOT havarpekunio(X). </pre> <p>Se vi havas dil pekunio, vi duras a mizar. Se vi havas omne perdita vi havas bezono di pruntar, o se ne ... plu kam pario. <tt> havarpekunio(X)</tt> povas esar funciono tre kustozo, exemple, se ol povas acesar a vua banca konto per la reto. Ma to esas la mem kozo per <i>havarkredito</i>. </p><p>En teorio, la instaluro di Prolog povas evaluar ta normi en irga ordino, anke vi povus anke bona havas skritas; </p> <pre>mizar(X) :- havarkredito(X), NOT havarpekunio(X). mizar(X) :- havarpekunio(X). </pre> <p>To ke esas bona, per ke amba questioni exkluzar su l'una l'altra. Tamen verifikinta se vi povas obtenar presto ne esas necesa se vi savas ke havas pekunio. Anke en praktiko, la instaluro di Prolog testos <i>la normo ke vi havas skritita prima</i>. <br /> </p><p>Vi povas uzar l'operacero <i>cut</i> per dicar a l'interpreto di saltar la duesma selekto se la prima suficas. Exemple: </p> <pre>mizar(X) :- havarpekunio(X), !. mizar(X) :- havarkredito(X), NOT havarpekunio(X). </pre> <p>To nomizesas operacero di haltigo <i>verda</i>. La <i>!</i> dicas simple a l'interpreto di ne plu serchar d’alternativo. Ma vi notez ke se vi havas bezono di pekunio ol havas bezono di evaluar la duesma normi, e oli feras. Testinta per <i>havarpekunio</i> en la duesma normo esas prefere ne-utila nam vi savas ke vi ne havas, segun la duesma normo ne esus evaluita prima. Anke vi povas chanjar la kodexo en: </p> <pre>mizar(X) :- havarpekunio(X), !. mizar(X) :- havarkredito(X). </pre> <p>To nomizesas operacero di haltigo <i>reda</i>, per ke ol esas danjeroza facar ol. Vi esas nun dependinta di korekta poze di operacero di haltigo et la rango di normi per determinar la logikala senso. La acidenti di tranchar-e-glutinar guatas en la obskura anguli. Se la normi esas mixita, vi povas nun uzar vua kredito-karto ante di spensar vua disponebla pekunio. </p>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Obtenita de "<a dir="ltr" href="https://io.wikipedia.org/w/index.php?title=Prolog&oldid=1019971">https://io.wikipedia.org/w/index.php?title=Prolog&oldid=1019971</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Specala:Kategorii" title="Specala:Kategorii">Kategorio</a>: <ul><li><a href="/wiki/Kategorio:Informatiko" title="Kategorio:Informatiko">Informatiko</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"> Ica pagino modifikesis ye 16:49, 18 jun. 2023.</li> <li id="footer-info-copyright">La texto esas disponebla sub la <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-ShareAlike License</a>; suplementala reguli forsan aplikesas. Videz <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use">Termini pri uzo</a> por detali.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Politiko pri privateso</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedio:Pri_Wikipedio">Pri Wikipedio</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedio:Generala_des-agnosko">Legala averto</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Kodexo pri kondukto</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Kreinti di la programo</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/io.wikipedia.org">Statistiko</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Informo pri l'uzo di 'cookies'</a></li> <li id="footer-places-mobileview"><a href="//io.m.wikipedia.org/w/index.php?title=Prolog&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Vidado por portebla aparati</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-6b8d669998-qzd7w","wgBackendResponseTime":270,"wgPageParseReport":{"limitreport":{"cputime":"0.022","walltime":"0.033","ppvisitednodes":{"value":90,"limit":1000000},"postexpandincludesize":{"value":1223,"limit":2097152},"templateargumentsize":{"value":263,"limit":2097152},"expansiondepth":{"value":6,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 7.681 1 -total","100.00% 7.681 1 Shablono:Riskribota"," 44.12% 3.389 1 Shablono:Mesajo"]},"cachereport":{"origin":"mw-web.codfw.main-6b8d669998-qzd7w","timestamp":"20241128072502","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Prolog","url":"https:\/\/io.wikipedia.org\/wiki\/Prolog","sameAs":"http:\/\/www.wikidata.org\/entity\/Q163468","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q163468","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2005-05-22T02:29:09Z","dateModified":"2023-06-18T16:49:22Z"}</script> </body> </html>