{"id":"https://openalex.org/W2216578308","doi":"https://doi.org/10.1017/s1471068415000137","title":"Tabling as a library with delimited control","display_name":"Tabling as a library with delimited control","publication_year":2015,"publication_date":"2015-07-01","ids":{"openalex":"https://openalex.org/W2216578308","doi":"https://doi.org/10.1017/s1471068415000137","mag":"2216578308"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068415000137","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068415000137","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/227B7C0227FD715CF159B6AF894DE96E/S1471068415000137a.pdf/div-class-title-tabling-as-a-library-with-delimited-control-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/227B7C0227FD715CF159B6AF894DE96E/S1471068415000137a.pdf/div-class-title-tabling-as-a-library-with-delimited-control-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"BENOIT DESOUTER","orcid":null},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"BENOIT DESOUTER","raw_affiliation_strings":["Ghent University, Belgium (e-mail:"],"affiliations":[{"raw_affiliation_string":"Ghent University, Belgium (e-mail:","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"middle","author":{"id":null,"display_name":"MARKO VAN DOOREN","orcid":null},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"MARKO VAN DOOREN","raw_affiliation_strings":["Ghent University, Belgium (e-mail:"],"affiliations":[{"raw_affiliation_string":"Ghent University, Belgium (e-mail:","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"last","author":{"id":null,"display_name":"TOM SCHRIJVERS","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"TOM SCHRIJVERS","raw_affiliation_strings":["KU Leuven, Belgium (e-mail:"],"affiliations":[{"raw_affiliation_string":"KU Leuven, Belgium (e-mail:","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I32597200"],"apc_list":null,"apc_paid":null,"fwci":1.7937,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.89109052,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"15","issue":"4-5","first_page":"419","last_page":"433"},"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.4343999922275543,"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.4343999922275543,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4074000120162964,"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/T10028","display_name":"Topic Modeling","score":0.018200000748038292,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.9057000279426575},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.578499972820282},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5163000226020813},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.47850000858306885},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.38359999656677246}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.9057000279426575},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.803600013256073},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7900999784469604},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.578499972820282},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5163000226020813},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.504800021648407},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.47850000858306885},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.38359999656677246},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.34049999713897705},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.26460000872612}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068415000137","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068415000137","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/227B7C0227FD715CF159B6AF894DE96E/S1471068415000137a.pdf/div-class-title-tabling-as-a-library-with-delimited-control-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/512441","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/512441","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, vol. 15 (4), (419-433)","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1507.08087","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1507.08087","pdf_url":"https://arxiv.org/pdf/1507.08087","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:archive.ugent.be:6880648","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-6880648","pdf_url":"https://biblio.ugent.be/publication/6880648/file/6885145.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1471-0684","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1017/s1471068415000137","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068415000137","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/227B7C0227FD715CF159B6AF894DE96E/S1471068415000137a.pdf/div-class-title-tabling-as-a-library-with-delimited-control-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2216578308.pdf","grobid_xml":"https://content.openalex.org/works/W2216578308.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W206929973","https://openalex.org/W233473761","https://openalex.org/W1497274405","https://openalex.org/W1579995533","https://openalex.org/W1633377437","https://openalex.org/W1670256845","https://openalex.org/W2070598037","https://openalex.org/W2118889869","https://openalex.org/W2129902163","https://openalex.org/W2130513355","https://openalex.org/W2142044962","https://openalex.org/W2155945137","https://openalex.org/W2165876990","https://openalex.org/W2167685423","https://openalex.org/W2293168108","https://openalex.org/W4251197763","https://openalex.org/W6650542787","https://openalex.org/W6672631846","https://openalex.org/W6675617853"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Tabling":[1],"is":[2,18,35],"probably":[3],"the":[4,31],"most":[5,22,42],"widely":[6],"studied":[7],"extension":[8],"of":[9,39,41,54,60],"Prolog.":[10],"But":[11],"despite":[12],"its":[13],"importance":[14],"and":[15,70],"practicality,":[16],"tabling":[17,55],"not":[19],"implemented":[20],"by":[21],"Prolog":[23,32,61],"systems.":[24,43],"Existing":[25],"approaches":[26],"require":[27],"substantial":[28],"changes":[29],"to":[30],"engine,":[33],"which":[34],"an":[36],"investment":[37],"out":[38],"reach":[40],"To":[44],"enable":[45],"more":[46],"widespread":[47],"adoption,":[48],"we":[49],"present":[50],"a":[51],"new":[52],"implementation":[53],"in":[56],"under":[57],"600":[58],"lines":[59],"code.":[62],"Our":[63],"lightweight":[64],"approach":[65],"relies":[66],"on":[67],"delimited":[68],"control":[69],"provides":[71],"reasonable":[72],"performance.":[73]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T08:04:53.788161","created_date":"2016-06-24T00:00:00"}