{"id":5360,"date":"2016-03-09T16:08:01","date_gmt":"2016-03-09T15:08:01","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5360"},"modified":"2016-03-10T12:09:09","modified_gmt":"2016-03-10T11:09:09","slug":"slc2015-programacion-prolog-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/slc2015-programacion-prolog-2\/","title":{"rendered":"SLC2015: Programaci\u00f3n en Prolog (2)"},"content":{"rendered":"<p>En la sesi\u00f3n de hoy del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/slc-15\">Seminario de l\u00f3gica computacional<\/a> hemos continuado es estudio de las extensiones de Prolog como lenguaje de programaci\u00f3n, iniciada en la sesi\u00f3n anterior.. En concreto, se ha explicado:<\/p>\n<ul>\n<li><a href=\"http:\/\/bit.ly\/1R92pWv\">El corte, la negaci\u00f3n como fallo y el condicional<\/a><\/li>\n<li><a href=\"http:\/\/bit.ly\/1R92s4x\">Relaciones sobre t\u00e9rminos<\/a>.<\/li>\n<li><a href=\"http:\/\/bit.ly\/1R92tFR\">Transformaci\u00f3n entre t\u00e9rminos, \u00e1tomos y listas<\/a>.<\/li>\n<li><a href=\"http:\/\/bit.ly\/1R92tWi\">Procedimientos aplicativos<\/a>.<\/li>\n<li><a href=\"http:\/\/bit.ly\/1RSAyXC\">C\u00e1lculo de todas las soluciones<\/a>.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>En la sesi\u00f3n de hoy del Seminario de l\u00f3gica computacional hemos continuado es estudio de las extensiones de Prolog como lenguaje de programaci\u00f3n, iniciada en la sesi\u00f3n anterior.. En concreto, se ha explicado: El corte, la negaci\u00f3n como fallo y el condicional Relaciones sobre t\u00e9rminos. Transformaci\u00f3n entre t\u00e9rminos, \u00e1tomos y listas. Procedimientos aplicativos. C\u00e1lculo de&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[294,258],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5360"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=5360"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5360\/revisions"}],"predecessor-version":[{"id":5362,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5360\/revisions\/5362"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5360"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5360"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5360"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}