{"id":"https://openalex.org/W2088785244","doi":"https://doi.org/10.1002/spe.4380220706","title":"Extension table built\u2010ins for prolog","display_name":"Extension table built\u2010ins for prolog","publication_year":1992,"publication_date":"1992-07-01","ids":{"openalex":"https://openalex.org/W2088785244","doi":"https://doi.org/10.1002/spe.4380220706","mag":"2088785244"},"language":"en","primary_location":{"id":"doi:10.1002/spe.4380220706","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380220706","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},"type":"article","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/A5021115461","display_name":"Changguan Fan","orcid":null},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Changguan Fan","raw_affiliation_strings":["Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20135406, U.S.A","Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20105406, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20135406, U.S.A","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20105406, U.S.A","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111819487","display_name":"Suzanne W. Dietrich","orcid":null},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suzanne Wagner Dietrich","raw_affiliation_strings":["Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20135406, U.S.A","Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20105406, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20135406, U.S.A","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, College of Engineering and Applied Sciences, Arizona State University, Tempe, AZ 85287\u20105406, U.S.A","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021115461"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":0.558,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.75308642,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"22","issue":"7","first_page":"573","last_page":"597"},"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.9987000226974487,"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.9987000226974487,"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.9972000122070312,"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.9908000230789185,"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.8152116537094116},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7363037467002869},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6598550081253052},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.6051942110061646},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.557183027267456},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.4713903069496155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4450388550758362},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.4422297477722168},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34816408157348633},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.29446637630462646}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8152116537094116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7363037467002869},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6598550081253052},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.6051942110061646},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.557183027267456},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.4713903069496155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4450388550758362},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.4422297477722168},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34816408157348633},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.29446637630462646}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/spe.4380220706","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380220706","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.14.4908","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.4908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol22/issue7/spe771cf.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W111618649","https://openalex.org/W165938396","https://openalex.org/W177644336","https://openalex.org/W1528738961","https://openalex.org/W1546447716","https://openalex.org/W1546657258","https://openalex.org/W1732271046","https://openalex.org/W2023578426","https://openalex.org/W2076878931","https://openalex.org/W2132063146","https://openalex.org/W2168270676","https://openalex.org/W2243729818"],"related_works":["https://openalex.org/W2955734379","https://openalex.org/W2049216635","https://openalex.org/W3121709727","https://openalex.org/W1537382653","https://openalex.org/W2517279098","https://openalex.org/W2145813209","https://openalex.org/W2309621853","https://openalex.org/W2030105170","https://openalex.org/W2893316903","https://openalex.org/W1997257732"],"abstract_inverted_index":{"Abstract":[0],"The":[1,19,68,91,187,203],"ET*":[2,20,73,107,188,207],"algorithm":[3,21,49,74,189,208],"is":[4,102,119,144,190],"a":[5,44,169,177,217],"complete":[6,58],"evaluation":[7,32,59,64],"strategy":[8],"for":[9,57,156,182],"Datalog":[10],"programs,":[11],"which":[12,130,175],"are":[13,43,110,131,209],"logic":[14,36,66],"programs":[15,37],"without":[16],"function":[17],"symbols.":[18],"uses":[22,50],"extension":[23,76,96,166,185,199],"tables":[24,42,77,167],"and":[25,60,89,128,213],"depth\u2010first":[26],"iterative":[27],"deepening":[28],"to":[29,52,61,133,192],"provide":[30,155],"the":[31,48,63,72,81,85,95,99,103,106,120,124,145,150,184,194,197,206],"of":[33,65,71,80,93,105,165,179,196,205,219],"pure":[34],"function\u2010free":[35],"as":[38,78,168],"declarative":[39],"specifications.":[40],"Extension":[41],"memo":[45],"facility":[46],"that":[47,152],"both":[51],"cut":[53],"infinite":[54],"derivation":[55],"paths":[56],"optimise":[62],"programs.":[67,221],"original":[69],"implementation":[70,164],"incorporated":[75],"part":[79],"Prolog":[82,100,140],"database":[83,101],"using":[84,98,211],"built\u2010in":[86,125,180],"predicates":[87,126],"assert":[88,127],"retract.":[90],"advantage":[92],"implementing":[94],"table":[97,200],"portability":[104],"algorithm.":[108],"There":[109],"several":[111],"disadvantages,":[112],"however,":[113],"with":[114,123],"this":[115],"approach.":[116],"One":[117],"disadvantage":[118,143],"cost":[121],"associated":[122],"retract,":[129],"known":[132],"be":[134],"expensive":[135],"operations":[136],"in":[137,149,173],"most":[138],"current":[139],"systems.":[141],"Another":[142],"differences":[146],"across":[147],"implementations":[148,204],"semantics":[151],"these":[153],"built\u2010ins":[154],"dynamic":[157],"predicates.":[158],"This":[159],"paper":[160],"presents":[161],"an":[162],"efficient":[163],"global":[170,198],"data":[171,201],"structure":[172],"Prolog,":[174],"includes":[176],"set":[178],"primitives":[181],"manipulating":[183],"table.":[186],"updated":[191],"reflect":[193],"utilisation":[195],"structure.":[202],"compared":[210],"time":[212],"space":[214],"performance":[215],"on":[216],"variety":[218],"benchmark":[220]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}