{"id":187,"date":"2017-06-30T04:50:51","date_gmt":"2017-06-30T04:50:51","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=187"},"modified":"2018-07-21T16:49:22","modified_gmt":"2018-07-21T16:49:22","slug":"enlaces-pd","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/enlaces-pd\/","title":{"rendered":"Enlaces y Otras Informaciones"},"content":{"rendered":"<h5 style=\"text-align: center;\">Compiladores e interpretes de lenguajes declarativos<\/h5>\n<ul style=\"text-align: justify;\">\n<li><strong>Visual Prolog<\/strong>: Compilador para una versi\u00f3n con tipos y orientaci\u00f3n a objetos del lenguaje Prolog. Puede obtenerse m\u00e1s informaci\u00f3n en las direcciones URL <a href=\"http:\/\/www.visual-prolog.com\" target=\"_blank\" rel=\"noopener\">http:\/\/www.visual-prolog.com<\/a> y <a href=\"http:\/\/www.pdc.dk\" target=\"_blank\" rel=\"noopener\">http:\/\/www.pdc.dk<\/a><\/li>\n<li><strong>Strawberry Prolog<\/strong>: Otro compilador para el lenguaje Prolog puede obtenerse en <a href=\"http:\/\/www.dobrev.com\" target=\"_blank\" rel=\"noopener\">http:\/\/www.dobrev.com<\/a><\/li>\n<li><strong>SWI Prolog<\/strong>: Un Interprete para el lenguaje Prolog puede obtenerse en <a href=\"http:\/\/www.swi-prolog.org\/\" target=\"_blank\" rel=\"noopener\">http:\/\/www.swi-prolog.org\/<\/a><\/li>\n<li><strong>SISCTUS Prolog<\/strong>: El sistema interprete\/compilador de Prolog standard m\u00e1s potente. Informaci\u00f3n sobre Sisctus\u00a0 Prolog se puede en contrar en <a href=\"http:\/\/www.sics.se\/\" target=\"_blank\" rel=\"noopener\">http:\/\/www.sics.se\/<\/a><\/li>\n<li><strong>HUGS98<\/strong>: Un Interprete para el lenguaje funcional (perezoso) Haskell puede obtenerse en <a href=\"http:\/\/www.haskell.org\/hugs\" target=\"_blank\" rel=\"noopener\">http:\/\/www.haskell.org\/hugs<\/a><\/li>\n<li><strong>PAKCS<\/strong>: Una implementaci\u00f3n del lenguaje l\u00f3gico funcional <a href=\"http:\/\/www.informatik.uni-kiel.de\/%7Ecurry\/\" target=\"_blank\" rel=\"noopener\">Curry<\/a>. El lenguaje Curry integra las mejores caracter\u00edsticas de los lenguajes l\u00f3gicos y funcionales puros, tambi\u00e9n incorpora facilidades para la ejecuci\u00f3n concurrente de restricciones.<\/li>\n<li style=\"text-align: left;\"><strong>CMU Repositories<\/strong>: <a href=\"http:\/\/www-2.cs.cmu.edu\/afs\/cs.cmu.edu\/project\/ai-repository\/ai\/lang\/prolog\/0.html\" target=\"_blank\" rel=\"noopener\">Prolog<\/a>, <a href=\"http:\/\/www-2.cs.cmu.edu\/afs\/cs.cmu.edu\/project\/ai-repository\/ai\/lang\/lisp\/0.html\" target=\"_blank\" rel=\"noopener\">Lisp<\/a>, <a href=\"http:\/\/www-2.cs.cmu.edu\/afs\/cs.cmu.edu\/project\/ai-repository\/ai\/lang\/scheme\/0.html\" target=\"_blank\" rel=\"noopener\">Scheme<\/a>.<\/li>\n<\/ul>\n<h5 style=\"text-align: center;\">Grupos de noticias y asociaciones<\/h5>\n<ul>\n<li><strong>Interest Group in Pure and applied Logics (IGPL):<\/strong>\u00a0 <a href=\"http:\/\/www.di.ufpe.br\/%7Eigpl\/\" target=\"_blank\" rel=\"noopener\">http:\/\/www.di.ufpe.br\/~igpl\/<\/a><\/li>\n<\/ul>\n<p><strong>The Association of Logic Programming (ALP):<\/strong> <a href=\"http:\/\/www.cwi.nl\/projects\/alp\/\" target=\"_blank\" rel=\"noopener\">http:\/\/www.cwi.nl\/projects\/alp\/<\/a><\/p>\n<ul>\n<li><strong>Compulog Network of Excellence in Computational Logics (COMPULOG)<\/strong>: <a href=\"http:\/\/www.compulog.org\/\" target=\"_blank\" rel=\"noopener\">http:\/\/www.compulog.org\/<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Compiladores e interpretes de lenguajes declarativos Visual Prolog: Compilador para una versi\u00f3n con tipos y orientaci\u00f3n a objetos del lenguaje Prolog. Puede obtenerse m\u00e1s informaci\u00f3n en las direcciones URL http:\/\/www.visual-prolog.com y http:\/\/www.pdc.dk Strawberry Prolog: Otro compilador para el lenguaje Prolog puede obtenerse en http:\/\/www.dobrev.com SWI Prolog: Un Interprete para el lenguaje Prolog puede obtenerse en &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/enlaces-pd\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Enlaces y Otras Informaciones&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-187","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/187","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/comments?post=187"}],"version-history":[{"count":9,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/187\/revisions"}],"predecessor-version":[{"id":337,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/187\/revisions\/337"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=187"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}