{"id":8902,"date":"2021-07-12T08:48:42","date_gmt":"2021-07-12T08:48:42","guid":{"rendered":"https:\/\/museo.inf.upv.es\/?page_id=8902"},"modified":"2021-07-15T10:37:47","modified_gmt":"2021-07-15T10:37:47","slug":"prolog","status":"publish","type":"page","link":"https:\/\/museo.inf.upv.es\/va\/prolog\/","title":{"rendered":"Prolog"},"content":{"rendered":"
\n
\n

<\/p>\n

El Llenguatge de Programaci\u00f3 Prolog<\/strong><\/h1>\n

A partir d\u2019un projecte per al tractament algor\u00edtmic del llenguatge natural en els anys 70 sorgeix Prolog<\/strong> com a llenguatge de programaci\u00f3 declaratiu.<\/p>\n

Sota el paradigma declaratiu, els programes s\u2019expressen en termes de relacions; en el cas de Prolog, es componen de cl\u00e0usules de Horn, del tipus “modus ponendo ponens”<\/em>, que descriuen regles del tipus “Si \u00e9s veritat l\u2019antecedent, llavors \u00e9s veritat el conseg\u00fcent<\/em>“.<\/p>\n

En Prolog<\/strong> no hi ha instruccions de control. La seua execuci\u00f3 es basa en dos conceptes: la unificaci\u00f3 i la tornada enrere (backtracking<\/em><\/a>). Aix\u00ed, una execuci\u00f3 es redueix a q\u00fcestionar una pregunta respecte a les regles descrites.<\/p>\n

Mitjan\u00e7ant la unificaci\u00f3 es determinen un conjunt de regles susceptibles de ser aplicades, Prolog<\/strong> n\u2019escull la primera, i repeteix el proc\u00e9s fins a determinar si la q\u00fcesti\u00f3 \u00e9s vertadera o falsa. En cas de ser falsa, es retrocedeix en l\u2019\u00faltim punt d\u2019elecci\u00f3, i se selecciona la seg\u00fcent regla aplicable. Hi ha un conjunt de regles predefinides per a interactuar amb el sistema i permetre operacions d\u2019entrada\/eixida, gr\u00e0fics o comunicaci\u00f3.<\/p>\n

A pesar que Prolog<\/strong> \u00e9s un dels primers llenguatges de programaci\u00f3 l\u00f2gica, continua sent popular avui dia, amb distintes implementacions disponibles, tant de lliure distribuci\u00f3 com comercials. Prolog ocupa la 26a posici\u00f3 en el r\u00e0nquing TIOBE<\/a> de popularitat de llenguatges de programaci\u00f3 (2021).<\/p>\n

<\/p>\n

\u00a0<\/p>\n<\/div>\n\n\n\n

\n

<\/p>\n

\n

Prolog<\/h3>\n
Naixement<\/strong>:1971
Evoluci\u00f3<\/strong>: —
Influ\u00e8ncies de<\/strong>: —
Influeix en<\/strong>: Haskell<\/div>\n

<\/p>\n<\/div>\n<\/div>","protected":false},"excerpt":{"rendered":"

El Llenguatge de Programaci\u00f3 Prolog A partir d\u2019un projecte per al tractament algor\u00edtmic del llenguatge natural en els anys 70 sorgeix Prolog com a llenguatge de programaci\u00f3 declaratiu. Sota el paradigma declaratiu, els programes s\u2019expressen en termes de relacions; en el cas de Prolog, es componen de cl\u00e0usules de Horn, del tipus “modus ponendo ponens”, […]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-8902","page","type-page","status-publish","hentry","post"],"yoast_head":"\nProlog - Web del Museo de Inform\u00e1tica 2.0<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/museo.inf.upv.es\/prolog\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prolog - Web del Museo de Inform\u00e1tica 2.0\" \/>\n<meta property=\"og:description\" content=\"El Llenguatge de Programaci\u00f3 Prolog A partir d\u2019un projecte per al tractament algor\u00edtmic del llenguatge natural en els anys 70 sorgeix Prolog com a llenguatge de programaci\u00f3 declaratiu. Sota el paradigma declaratiu, els programes s\u2019expressen en termes de relacions; en el cas de Prolog, es componen de cl\u00e0usules de Horn, del tipus “modus ponendo ponens”, […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/museo.inf.upv.es\/prolog\/\" \/>\n<meta property=\"og:site_name\" content=\"Web del Museo de Inform\u00e1tica 2.0\" \/>\n<meta property=\"article:modified_time\" content=\"2021-07-15T10:37:47+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/museo.inf.upv.es\\\/prolog\\\/\",\"url\":\"https:\\\/\\\/museo.inf.upv.es\\\/prolog\\\/\",\"name\":\"Prolog - Web del Museo de Inform\u00e1tica 2.0\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/museo.inf.upv.es\\\/#website\"},\"datePublished\":\"2021-07-12T08:48:42+00:00\",\"dateModified\":\"2021-07-15T10:37:47+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/museo.inf.upv.es\\\/prolog\\\/#breadcrumb\"},\"inLanguage\":\"va-VA\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/museo.inf.upv.es\\\/prolog\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/museo.inf.upv.es\\\/prolog\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\\\/\\\/museo.inf.upv.es\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Prolog\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/museo.inf.upv.es\\\/#website\",\"url\":\"https:\\\/\\\/museo.inf.upv.es\\\/\",\"name\":\"Web del Museo de Inform\u00e1tica 2.0\",\"description\":\"Web del Museo de Inform\u00e1tica 2.0\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/museo.inf.upv.es\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"va-VA\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prolog - Web del Museo de Inform\u00e1tica 2.0","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/museo.inf.upv.es\/prolog\/","og_locale":"en_US","og_type":"article","og_title":"Prolog - Web del Museo de Inform\u00e1tica 2.0","og_description":"El Llenguatge de Programaci\u00f3 Prolog A partir d\u2019un projecte per al tractament algor\u00edtmic del llenguatge natural en els anys 70 sorgeix Prolog com a llenguatge de programaci\u00f3 declaratiu. Sota el paradigma declaratiu, els programes s\u2019expressen en termes de relacions; en el cas de Prolog, es componen de cl\u00e0usules de Horn, del tipus “modus ponendo ponens”, […]","og_url":"https:\/\/museo.inf.upv.es\/prolog\/","og_site_name":"Web del Museo de Inform\u00e1tica 2.0","article_modified_time":"2021-07-15T10:37:47+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/museo.inf.upv.es\/prolog\/","url":"https:\/\/museo.inf.upv.es\/prolog\/","name":"Prolog - Web del Museo de Inform\u00e1tica 2.0","isPartOf":{"@id":"https:\/\/museo.inf.upv.es\/#website"},"datePublished":"2021-07-12T08:48:42+00:00","dateModified":"2021-07-15T10:37:47+00:00","breadcrumb":{"@id":"https:\/\/museo.inf.upv.es\/prolog\/#breadcrumb"},"inLanguage":"va-VA","potentialAction":[{"@type":"ReadAction","target":["https:\/\/museo.inf.upv.es\/prolog\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/museo.inf.upv.es\/prolog\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/museo.inf.upv.es\/"},{"@type":"ListItem","position":2,"name":"Prolog"}]},{"@type":"WebSite","@id":"https:\/\/museo.inf.upv.es\/#website","url":"https:\/\/museo.inf.upv.es\/","name":"Web del Museo de Inform\u00e1tica 2.0","description":"Web del Museo de Inform\u00e1tica 2.0","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/museo.inf.upv.es\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"va-VA"}]}},"_links":{"self":[{"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/pages\/8902","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/comments?post=8902"}],"version-history":[{"count":10,"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/pages\/8902\/revisions"}],"predecessor-version":[{"id":9215,"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/pages\/8902\/revisions\/9215"}],"wp:attachment":[{"href":"https:\/\/museo.inf.upv.es\/va\/wp-json\/wp\/v2\/media?parent=8902"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}