{"id":"https://openalex.org/W1527022263","doi":"https://doi.org/10.1007/978-3-540-76631-5_29","title":"Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation","display_name":"Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation","publication_year":2007,"publication_date":"2007-10-22","ids":{"openalex":"https://openalex.org/W1527022263","doi":"https://doi.org/10.1007/978-3-540-76631-5_29","mag":"1527022263"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-76631-5_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-76631-5_29","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"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/A5073056593","display_name":"J Vysko\u010dil","orcid":"https://orcid.org/0000-0001-8822-0929"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Ji\u0159\u00ed Vysko\u010dil","raw_affiliation_strings":["Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00 Praha 1, Czech Republic","Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00 Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077368240","display_name":"Petr \u0160t\u011bp\u00e1nek","orcid":"https://orcid.org/0000-0001-5000-8180"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr \u0160t\u011bp\u00e1nek","raw_affiliation_strings":["Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00 Praha 1, Czech Republic","Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00 Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic#TAB#","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5073056593"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.229,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.51902131,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"305","last_page":"315"},"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.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7666159272193909},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6505240201950073},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6080262064933777},{"id":"https://openalex.org/keywords/fold","display_name":"Fold (higher-order function)","score":0.5931755304336548},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.5830144286155701},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5575608611106873},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5183090567588806},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39803987741470337},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3626568019390106},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3461174964904785},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3268047571182251},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20536315441131592},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17387470602989197}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7666159272193909},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6505240201950073},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6080262064933777},{"id":"https://openalex.org/C53942344","wikidata":"https://www.wikidata.org/wiki/Q951651","display_name":"Fold (higher-order function)","level":2,"score":0.5931755304336548},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5830144286155701},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5575608611106873},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5183090567588806},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39803987741470337},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3626568019390106},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3461174964904785},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3268047571182251},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20536315441131592},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17387470602989197},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-76631-5_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-76631-5_29","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W16194962","https://openalex.org/W1481041911","https://openalex.org/W1597918680","https://openalex.org/W1820500030","https://openalex.org/W1971710354","https://openalex.org/W2018765574","https://openalex.org/W2029186912","https://openalex.org/W2056410280","https://openalex.org/W2121757274","https://openalex.org/W2163841074","https://openalex.org/W4240833632"],"related_works":["https://openalex.org/W1181095405","https://openalex.org/W3014426369","https://openalex.org/W2108333633","https://openalex.org/W1575115589","https://openalex.org/W4210725620","https://openalex.org/W4240318783","https://openalex.org/W2496036477","https://openalex.org/W1535866213","https://openalex.org/W2091064840","https://openalex.org/W1973442766"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-02-25T21:11:00.739837","created_date":"2025-10-10T00:00:00"}