{"id":"https://openalex.org/W2133799028","doi":null,"title":"T\u00e9cnicas avanzadas de compilaci\u00f3n para programaci\u00f3n l\u00f3gica","display_name":"T\u00e9cnicas avanzadas de compilaci\u00f3n para programaci\u00f3n l\u00f3gica","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2133799028","mag":"2133799028"},"language":"es","primary_location":{"id":"mag:2133799028","doi":null,"is_oa":false,"landing_page_url":"https://dialnet.unirioja.es/servlet/tesis?codigo=21849","pdf_url":null,"source":{"id":"https://openalex.org/S4306401293","display_name":"Dialnet (Universidad de la Rioja)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I168974976","host_organization_name":"Universidad de La Rioja","host_organization_lineage":["https://openalex.org/I168974976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104039782","display_name":"Jos\u00e9 Francisco Morales Caballero","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jos\u00e9 Francisco Morales Caballero","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5104039782"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16079878,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0020000000949949026,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/prolog-compilation","display_name":"Prolog compilation","score":0.8799999952316284},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.9620000123977661},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"declarative programming","score":0.7940000295639038},{"id":"https://openalex.org/keywords/prolog-implementation","display_name":"Prolog implementation","score":0.6069999933242798},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"constraint logic programming","score":0.6510000228881836},{"id":"https://openalex.org/keywords/tabling","display_name":"tabling","score":0.9300000071525574}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.86830735206604},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8092002868652344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7477648854255676},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7304316759109497},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.6775617599487305},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.658798336982727},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.6323056221008301},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.4918217658996582},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.48229435086250305},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4800349473953247},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.4629892110824585},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4111907482147217},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37689611315727234},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16637268662452698},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2133799028","doi":null,"is_oa":false,"landing_page_url":"https://dialnet.unirioja.es/servlet/tesis?codigo=21849","pdf_url":null,"source":{"id":"https://openalex.org/S4306401293","display_name":"Dialnet (Universidad de la Rioja)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I168974976","host_organization_name":"Universidad de La Rioja","host_organization_lineage":["https://openalex.org/I168974976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":94,"referenced_works":["https://openalex.org/W34867624","https://openalex.org/W39526291","https://openalex.org/W159226319","https://openalex.org/W169032359","https://openalex.org/W180178756","https://openalex.org/W228544153","https://openalex.org/W265609465","https://openalex.org/W303139982","https://openalex.org/W320227024","https://openalex.org/W855046723","https://openalex.org/W1481885045","https://openalex.org/W1481932230","https://openalex.org/W1485320411","https://openalex.org/W1486324663","https://openalex.org/W1493964572","https://openalex.org/W1496444438","https://openalex.org/W1503179130","https://openalex.org/W1509799693","https://openalex.org/W1511573467","https://openalex.org/W1517590008","https://openalex.org/W1518216093","https://openalex.org/W1519788915","https://openalex.org/W1529607792","https://openalex.org/W1530717542","https://openalex.org/W1530723791","https://openalex.org/W1531108889","https://openalex.org/W1532795106","https://openalex.org/W1538992328","https://openalex.org/W1553616198","https://openalex.org/W1556604985","https://openalex.org/W1568192366","https://openalex.org/W1570041031","https://openalex.org/W1576119130","https://openalex.org/W1579914521","https://openalex.org/W1581848821","https://openalex.org/W1584658906","https://openalex.org/W1586882919","https://openalex.org/W1595143656","https://openalex.org/W1597497095","https://openalex.org/W1598886868","https://openalex.org/W1607985220","https://openalex.org/W1608659702","https://openalex.org/W1738685918","https://openalex.org/W1748595489","https://openalex.org/W1753357466","https://openalex.org/W1819779993","https://openalex.org/W1827267273","https://openalex.org/W1841821563","https://openalex.org/W1968066174","https://openalex.org/W1969456304","https://openalex.org/W1970664558","https://openalex.org/W1975346949","https://openalex.org/W1983792792","https://openalex.org/W1985039455","https://openalex.org/W1987364706","https://openalex.org/W1987962669","https://openalex.org/W1990347915","https://openalex.org/W1991332789","https://openalex.org/W1997189447","https://openalex.org/W2005082107","https://openalex.org/W2005907808","https://openalex.org/W2011306767","https://openalex.org/W2019417713","https://openalex.org/W2036830099","https://openalex.org/W2040704129","https://openalex.org/W2043100293","https://openalex.org/W2058213389","https://openalex.org/W2058821858","https://openalex.org/W2058847156","https://openalex.org/W2074516823","https://openalex.org/W2089499361","https://openalex.org/W2092321387","https://openalex.org/W2095625847","https://openalex.org/W2111076108","https://openalex.org/W2115597529","https://openalex.org/W2116325485","https://openalex.org/W2120708837","https://openalex.org/W2121433585","https://openalex.org/W2134742630","https://openalex.org/W2141442517","https://openalex.org/W2145780407","https://openalex.org/W2153185479","https://openalex.org/W2155247860","https://openalex.org/W2156049870","https://openalex.org/W2163976959","https://openalex.org/W2166720067","https://openalex.org/W2169761811","https://openalex.org/W2293770661","https://openalex.org/W2396747061","https://openalex.org/W2572804059","https://openalex.org/W2693261446","https://openalex.org/W2989703932","https://openalex.org/W3022404379","https://openalex.org/W3085129737"],"related_works":["https://openalex.org/W4303968908","https://openalex.org/W7199082531","https://openalex.org/W1571035569","https://openalex.org/W4387645271","https://openalex.org/W1006217711","https://openalex.org/W1513061173","https://openalex.org/W1500516255","https://openalex.org/W193767869","https://openalex.org/W2049583580","https://openalex.org/W3009891130"],"abstract_inverted_index":{"Declarative":[0],"programming":[1],"languages":[2],"allow":[3],"the":[4,14,18,21,48,57,63,103,106,114,170],"expression":[5],"of":[6,23,29,56,60,67,105,108,116,166,178],"programs":[7],"in\na":[8],"language":[9,127],"that":[10,24,61,66],"is":[11,31,54,65,111,120,157,169],"closer":[12],"to":[13,17,71,181],"problem":[15],"than":[16],"implementation\ndetails.":[19],"Regardless":[20],"generality":[22],"definition,":[25],"a":[26,82,143],"more":[27],"clear\nidea":[28],"declarativeness":[30],"proposed":[32],"by":[33],"Lloyd,":[34],"who":[35],"proposes":[36],"that\nprograms":[37],"are":[38],"theories":[39],"in":[40],"some":[41],"suitable":[42],"logic,":[43,133],"and":[44,77,93,100,122,135,172],"computation":[45],"is\ndeduction":[46],"from":[47],"theory.\n\nIn":[49],"logic":[50,186],"programming,":[51,92,97,187],"where":[52],"Prolog":[53,81,109,150,188],"one":[55],"most":[58],"popular\nincarnations":[59],"paradigm,":[62],"theory":[64],"logical\ndeduction.\n\nEfficient":[68],"implementations":[69,110,128],"able":[70],"compete":[72],"with":[73,125,153,189],"many":[74,126,154],"other":[75,130,155],"high-level\nlanguages,":[76],"its":[78,138],"flexibility,":[79],"made":[80],"very":[83],"good":[84],"framework":[85],"to\ndevelop":[86],"new":[87],"ideas,":[88],"such":[89,183],"as":[90,184],"constraint":[91,185],"multi-paradigm\nprogramming":[94],"merging":[95],"functional":[96],"object":[98],"oriented\nprogramming,":[99],"imperative":[101,136],"programming.\n\nAlthough":[102],"state":[104],"art":[107],"highly\noptimized":[112],"for":[113,129,149,176],"kind":[115],"search":[117],"problems":[118],"it":[119,123],"designed,":[121],"can\ncompete":[124],"paradigms":[131],"---\nboth":[132],"functional,":[134],"---":[137],"dynamism":[139],"and\ndeclarative":[140],"nature":[141],"imposes":[142],"considerable":[144],"efficiency":[145],"gap.":[146],"An":[147],"ambitious\ngoal":[148],"implementations,":[151],"shared":[152],"declarative\nlanguages,":[156],"closing":[158],"this":[159,167],"gap":[160],"while":[161],"not":[162],"sacrificing":[163],"expressivity.\n\nThe":[164],"objective":[165],"thesis":[168],"development":[171],"improvement":[173],"of\nadvanced":[174],"techniques":[175],"compilation":[177],"Prolog,":[179],"orthogonal":[180],"many\nextensions":[182],"tabling,\nCHR":[190],"over":[191],"Prolog.":[192]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}