{"id":"https://openalex.org/W2952813498","doi":"https://doi.org/10.1017/s1471068416000168","title":"Default rules for Curry","display_name":"Default rules for Curry","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2952813498","doi":"https://doi.org/10.1017/s1471068416000168","mag":"2952813498"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068416000168","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068416000168","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1605.01352","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"SERGIO ANTOY","orcid":null},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"SERGIO ANTOY","raw_affiliation_strings":["Computer Science Dept., Portland State University, Oregon, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Dept., Portland State University, Oregon, USA (e-mail:","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"last","author":{"id":null,"display_name":"MICHAEL HANUS","orcid":null},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MICHAEL HANUS","raw_affiliation_strings":["Computer Science Dept., Portland State University, Oregon, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Dept., Portland State University, Oregon, USA (e-mail:","institution_ids":["https://openalex.org/I126345244"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I126345244"],"apc_list":null,"apc_paid":null,"fwci":1.6225,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.90631601,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"17","issue":"2","first_page":"121","last_page":"147"},"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.9395999908447266,"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.9395999908447266,"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.03099999949336052,"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.012799999676644802,"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/functional-programming","display_name":"Functional programming","score":0.7145000100135803},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.7143999934196472},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.597000002861023},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.5625},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.4918999969959259},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.48170000314712524},{"id":"https://openalex.org/keywords/curry","display_name":"Curry","score":0.475600004196167},{"id":"https://openalex.org/keywords/curry\u2013howard-correspondence","display_name":"Curry\u2013Howard correspondence","score":0.40799999237060547}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8047000169754028},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.7145000100135803},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7143999934196472},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.597000002861023},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.5625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5446000099182129},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.4918999969959259},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.48170000314712524},{"id":"https://openalex.org/C2781029818","wikidata":"https://www.wikidata.org/wiki/Q2368856","display_name":"Curry","level":2,"score":0.475600004196167},{"id":"https://openalex.org/C85343465","wikidata":"https://www.wikidata.org/wiki/Q975734","display_name":"Curry\u2013Howard correspondence","level":3,"score":0.40799999237060547},{"id":"https://openalex.org/C26320393","wikidata":"https://www.wikidata.org/wiki/Q597053","display_name":"Functional dependency","level":3,"score":0.36880001425743103},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35690000653266907},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3246000111103058},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.31139999628067017},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.28529998660087585},{"id":"https://openalex.org/C2777131603","wikidata":"https://www.wikidata.org/wiki/Q5508796","display_name":"Functional approach","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.2770000100135803},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.26919999718666077},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.26089999079704285},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.25929999351501465}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068416000168","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068416000168","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:arXiv.org:1605.01352","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.01352","pdf_url":"https://arxiv.org/pdf/1605.01352","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1605.01352","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.01352","pdf_url":"https://arxiv.org/pdf/1605.01352","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1325840","https://openalex.org/W5357916","https://openalex.org/W68427271","https://openalex.org/W1992085465","https://openalex.org/W2048748607","https://openalex.org/W2063521547","https://openalex.org/W2116940213","https://openalex.org/W2127844749","https://openalex.org/W2140840438","https://openalex.org/W2168144301","https://openalex.org/W2407568656","https://openalex.org/W2491413729","https://openalex.org/W2499474130","https://openalex.org/W4210350596","https://openalex.org/W6630575353"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"In":[1,93],"functional":[2,32,66,72,84,86,113,121,146],"logic":[3,27,73,87,122,147],"programs,":[4,67],"rules":[5,61,103],"are":[6,62],"applicable":[7],"independently":[8],"of":[9,41,55,71,101,120,130,145],"textual":[10],"order,":[11],"i.e.,":[12,124],"any":[13],"rule":[14],"can":[15],"potentially":[16],"be":[17],"used":[18,64],"to":[19,26,31,50,78,85,112],"evaluate":[20],"an":[21,139],"expression.":[22],"This":[23],"is":[24,48],"similar":[25,111],"languages":[28,88],"and":[29,127,137],"contrary":[30],"languages,":[33],"e.g.,":[34],"Haskell":[35],"enforces":[36],"a":[37,90,98,108],"strict":[38],"sequential":[39],"interpretation":[40],"rules.":[42,58],"However,":[43],"in":[44,65,89],"some":[45],"situations":[46],"it":[47],"convenient":[49],"express":[51],"alternatives":[52],"by":[53],"means":[54],"compact":[56],"default":[57,60,102],"Although":[59],"often":[63],"the":[68,117,134],"non-deterministic":[69],"nature":[70],"programs":[74],"does":[75],"not":[76],"allow":[77],"directly":[79],"transfer":[80],"this":[81,94],"concept":[82,100,136],"from":[83],"meaningful":[91],"way.":[92],"paper,":[95],"we":[96],"propose":[97,138],"new":[99],"for":[104],"Curry":[105],"that":[106],"supports":[107],"programming":[109,114],"style":[110],"while":[115],"preserving":[116],"core":[118],"properties":[119],"programming,":[123],"completeness,":[125],"non-determinism,":[126],"logic-oriented":[128],"use":[129],"functions.":[131],"We":[132],"discuss":[133],"basic":[135],"implementation":[140],"which":[141],"exploits":[142],"advanced":[143],"features":[144],"languages.":[148]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2019-06-27T00:00:00"}