{"id":"https://openalex.org/W2142995137","doi":"https://doi.org/10.1017/s1471068404002297","title":"A treatment of higher-order features in logic programming","display_name":"A treatment of higher-order features in logic programming","publication_year":2005,"publication_date":"2005-05-01","ids":{"openalex":"https://openalex.org/W2142995137","doi":"https://doi.org/10.1017/s1471068404002297","mag":"2142995137"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068404002297","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068404002297","pdf_url":null,"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":["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/A5080344559","display_name":"Gopalan Nadathur","orcid":"https://orcid.org/0000-0001-8456-3369"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"GOPALAN NADATHUR","raw_affiliation_strings":["Digital Technology Center and Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 Union Street S.E., Minneapolis, MN 55455, USA (e-mail:","Digital Technology Center and Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 Union Street S.E., Minneapolis, MN 55455, USA (e-mail: gopal ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Technology Center and Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 Union Street S.E., Minneapolis, MN 55455, USA (e-mail:","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"Digital Technology Center and Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 Union Street S.E., Minneapolis, MN 55455, USA (e-mail: gopal ...#TAB#","institution_ids":["https://openalex.org/I130238516"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5080344559"],"corresponding_institution_ids":["https://openalex.org/I130238516"],"apc_list":null,"apc_paid":null,"fwci":0.9186,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.82174788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"5","issue":"3","first_page":"305","last_page":"354"},"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.9998000264167786,"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.9998000264167786,"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.9972000122070312,"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.9710999727249146,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.9163610935211182},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8049308061599731},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7632585763931274},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5718170404434204},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5282054543495178},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.4854031503200531},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.46818840503692627},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4623732566833496},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4464532434940338},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4334172010421753},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43050599098205566},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1376122236251831},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.11893370747566223}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.9163610935211182},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8049308061599731},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7632585763931274},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5718170404434204},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5282054543495178},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.4854031503200531},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.46818840503692627},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4623732566833496},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4464532434940338},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4334172010421753},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43050599098205566},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1376122236251831},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.11893370747566223},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068404002297","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068404002297","pdf_url":null,"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:CiteSeerX.psu:10.1.1.132.2249","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.2249","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.umn.edu/~gopalan/papers/higher-order02.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W2751440","https://openalex.org/W32279214","https://openalex.org/W296180527","https://openalex.org/W1498728243","https://openalex.org/W1517976144","https://openalex.org/W1524744826","https://openalex.org/W1550435668","https://openalex.org/W1559402073","https://openalex.org/W1579694940","https://openalex.org/W1727609483","https://openalex.org/W1963658586","https://openalex.org/W1996404651","https://openalex.org/W2003432901","https://openalex.org/W2009464583","https://openalex.org/W2017143801","https://openalex.org/W2032463140","https://openalex.org/W2034676877","https://openalex.org/W2037809739","https://openalex.org/W2061392495","https://openalex.org/W2067911767","https://openalex.org/W2067976080","https://openalex.org/W2072331159","https://openalex.org/W2075352622","https://openalex.org/W2076819871","https://openalex.org/W2092768924","https://openalex.org/W2093111544","https://openalex.org/W2104890704","https://openalex.org/W2113722134","https://openalex.org/W2115610240","https://openalex.org/W2118032087","https://openalex.org/W2132119724","https://openalex.org/W2143382644","https://openalex.org/W2151872924","https://openalex.org/W2163608626","https://openalex.org/W2165434002","https://openalex.org/W2169526198","https://openalex.org/W2568721247","https://openalex.org/W2570126653","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2392892093","https://openalex.org/W4205459073","https://openalex.org/W2278621827","https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1493824320","https://openalex.org/W592311106","https://openalex.org/W4319165641","https://openalex.org/W1516362967"],"abstract_inverted_index":{"The":[0,228],"logic":[1],"programming":[2],"paradigm":[3],"provides":[4],"the":[5,22,60,84,92,108,111,120,130,158,176,236,240],"basis":[6],"for":[7,40,107,151],"a":[8,25,35,95,100,196,244,251],"new":[9],"intensional":[10],"view":[11,16],"of":[12,24,38,63,94,110,113,122,132,161,169,178,189,239,254],"higher-order":[13,220],"notions.":[14],"This":[15],"is":[17,154,198,216,247],"realized":[18],"primarily":[19],"by":[20,33,156],"employing":[21],"terms":[23,65,79,153],"typed":[26],"lambda":[27,64,152],"calculus":[28],"as":[29,164,166],"representational":[30],"devices":[31],"and":[32,103,142,187,206,222],"using":[34],"richer":[36],"form":[37],"unification":[39,96,114,186,190,221],"probing":[41],"their":[42,68,255],"structures.":[43],"These":[44,134],"additions":[45],"have":[46,232],"important":[47],"meta-programming":[48],"applications":[49],"but":[50],"they":[51],"also":[52,223],"pose":[53],"non-trivial":[54],"implementation":[55,238],"problems.":[56,115],"One":[57],"issue":[58,118],"concerns":[59,119],"machine":[61],"representation":[62,150],"suitable":[66],"to":[67,82,91,144,182,249],"intended":[69],"use:":[70],"an":[71],"adequate":[72],"encoding":[73],"must":[74],"facilitate":[75],"comparison":[76],"operations":[77],"over":[78,192],"in":[80,129,139,185,200,235],"addition":[81],"supporting":[83],"usual":[85,209],"reduction":[86],"computation.":[87,133],"Another":[88],"aspect":[89],"relates":[90],"treatment":[93],"operation":[97],"that":[98,104,218,246],"has":[99],"branching":[101,184],"character":[102],"sometimes":[105],"calls":[106],"delaying":[109],"solution":[112],"A":[116,148],"final":[117],"execution":[121],"goals":[123],"whose":[124],"structures":[125],"become":[126],"apparent":[127],"only":[128],"course":[131],"various":[135],"problems":[136,191],"are":[137,146,173],"exposed":[138],"this":[140,201],"paper":[141],"solutions":[143],"them":[145],"described.":[147],"satisfactory":[149],"developed":[155],"exploiting":[157,204],"nameless":[159],"notation":[160],"de":[162],"Bruijn":[163],"well":[165],"explicit":[167],"encodings":[168],"substitutions.":[170],"Special":[171],"mechanisms":[172],"molded":[174],"into":[175],"structure":[177],"traditional":[179],"Prolog":[180,242],"implementations":[181],"support":[183],"carrying":[188],"other":[193],"computation":[194],"steps;":[195],"premium":[197],"placed":[199],"context":[202],"on":[203,207],"determinism":[205],"emulating":[208],"first-order":[210],"behaviour.":[211],"An":[212],"extended":[213],"compilation":[214],"model":[215],"presented":[217],"treats":[219],"handles":[224],"dynamically":[225],"emergent":[226],"goals.":[227],"ideas":[229],"described":[230],"here":[231],"been":[233],"employed":[234],"Teyjus":[237],"$\\lambda$":[241],"language,":[243],"fact":[245],"used":[248],"obtain":[250],"preliminary":[252],"assessment":[253],"efficacy.":[256]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}