{"id":"https://openalex.org/W1503354566","doi":null,"title":"On hereditary Harrop formulae as a basis for logic programming","display_name":"On hereditary Harrop formulae as a basis for logic programming","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W1503354566","mag":"1503354566"},"language":"en","primary_location":{"id":"pmh:oai:era.ed.ac.uk:1842/10938","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/10938","pdf_url":"http://hdl.handle.net/1842/10938","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Thesis or Dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1842/10938","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061229280","display_name":"James Harland","orcid":"https://orcid.org/0000-0001-8640-5137","observed_orcids":["https://orcid.org/0000-0001-8640-5137"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"James Harland","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-8640-5137","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5061229280"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9657999873161316,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9657999873161316,"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/T10126","display_name":"Logic, programming, and type systems","score":0.026900000870227814,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.0031999999191612005,"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/logic-programming","display_name":"logic programming","score":0.8080000281333923},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"negation as failure","score":0.8420000076293945},{"id":"https://openalex.org/keywords/closed-world-assumption","display_name":"closed world assumption","score":0.9869999885559082},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"intuitionistic logic","score":0.7680000066757202},{"id":"https://openalex.org/keywords/possible-worlds-semantics","display_name":"Kripke semantics","score":0.8289999961853027},{"id":"https://openalex.org/keywords/model-theory","display_name":"model theory","score":0.7570000290870667},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.4869999885559082},{"id":"https://openalex.org/keywords/horn-clauses","display_name":"Horn clauses","score":0.6200000047683716},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"existential quantification","score":0.46299999952316284},{"id":"https://openalex.org/keywords/unification-algorithms","display_name":"unification algorithms","score":0.48399999737739563},{"id":"https://openalex.org/keywords/programming-language-semantics","display_name":"program semantics","score":0.42399999499320984}],"concepts":[{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.8288254737854004},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6618151068687439},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5552845001220703},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.5283414125442505},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4955328702926636},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4771239757537842},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4764426350593567},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4487794041633606},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.44621261954307556},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.44525250792503357},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4296513795852661},{"id":"https://openalex.org/C2039508","wikidata":"https://www.wikidata.org/wiki/Q7239631","display_name":"Predicate functor logic","level":5,"score":0.4174528419971466},{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.4158886671066284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40866413712501526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3737807273864746},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3697643578052521},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.321351021528244},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.25045186281204224},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24509897828102112},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20995759963989258},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.1929842233657837},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.1903170645236969},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.15223592519760132},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.09751224517822266},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:era.ed.ac.uk:1842/10938","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/10938","pdf_url":"http://hdl.handle.net/1842/10938","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Thesis or Dissertation"},{"id":"mag:1503354566","doi":null,"is_oa":false,"landing_page_url":"https://ci.nii.ac.jp/ncid/BA27159057","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:era.ed.ac.uk:1842/10938","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/10938","pdf_url":"http://hdl.handle.net/1842/10938","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Thesis or Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1503354566.pdf","grobid_xml":"https://content.openalex.org/works/W1503354566.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W20269272","https://openalex.org/W39560635","https://openalex.org/W64306662","https://openalex.org/W81066175","https://openalex.org/W84371279","https://openalex.org/W99535058","https://openalex.org/W108219458","https://openalex.org/W159715351","https://openalex.org/W159747946","https://openalex.org/W165540643","https://openalex.org/W170927782","https://openalex.org/W171682210","https://openalex.org/W194319365","https://openalex.org/W194816663","https://openalex.org/W1481540025","https://openalex.org/W1483170865","https://openalex.org/W1483568252","https://openalex.org/W1494051470","https://openalex.org/W1498222460","https://openalex.org/W1498861602","https://openalex.org/W1503088848","https://openalex.org/W1530295539","https://openalex.org/W1536163973","https://openalex.org/W1540715591","https://openalex.org/W1541434994","https://openalex.org/W1543461272","https://openalex.org/W1558779675","https://openalex.org/W1564327923","https://openalex.org/W1564855885","https://openalex.org/W1568715102","https://openalex.org/W1586338668","https://openalex.org/W1590937195","https://openalex.org/W1602563381","https://openalex.org/W1607685739","https://openalex.org/W1608607427","https://openalex.org/W1672891595","https://openalex.org/W1766332311","https://openalex.org/W1829389880","https://openalex.org/W1965784613","https://openalex.org/W1967187961","https://openalex.org/W1985819576","https://openalex.org/W1986404405","https://openalex.org/W2010104109","https://openalex.org/W2023578426","https://openalex.org/W2025406423","https://openalex.org/W2029753048","https://openalex.org/W2034500240","https://openalex.org/W2035688359","https://openalex.org/W2048600620","https://openalex.org/W2052436826","https://openalex.org/W2061490938","https://openalex.org/W2064581668","https://openalex.org/W2070577487","https://openalex.org/W2075950442","https://openalex.org/W2079567470","https://openalex.org/W2083474880","https://openalex.org/W2083971779","https://openalex.org/W2084749326","https://openalex.org/W2093111544","https://openalex.org/W2100738443","https://openalex.org/W2106718208","https://openalex.org/W2108911687","https://openalex.org/W2111353076","https://openalex.org/W2112308928","https://openalex.org/W2119749753","https://openalex.org/W2122527636","https://openalex.org/W2123396057","https://openalex.org/W2138384354","https://openalex.org/W2143382644","https://openalex.org/W2165434002","https://openalex.org/W2276605436","https://openalex.org/W2316240422","https://openalex.org/W3020128627"],"related_works":["https://openalex.org/W2045151017","https://openalex.org/W7099872880","https://openalex.org/W1560903388","https://openalex.org/W1558580006","https://openalex.org/W84371279","https://openalex.org/W2087505639","https://openalex.org/W7098705476","https://openalex.org/W800591879","https://openalex.org/W1533157944","https://openalex.org/W184393687"],"abstract_inverted_index":{"This":[0],"thesis":[1],"examines":[2],"the":[3,38,43,51,59,62,69,80,108,119,146,158,230,250,261,269,281,292,297,300,303,410],"use":[4],"of":[5,12,53,61,82,95,102,112,128,145,157,180,194,253,283,299,311,318,330,359,366,386,412,415,418,423],"first-order":[6,54,312],"hereditary":[7,55,152,276,313],"Harrop":[8,56,153,277,314],"formulae,":[9,57],"a":[10,19,75,83,93,98,129,141,162,237,246,356,375,381,416,421],"generalisation":[11],"Horn":[13],"clauses":[14],"due":[15],"to":[16,50,91,240,434],"Miller,":[17],"as":[18,64,160,263],"foundation":[20],"for":[21,97,110,198,219,249,255,275],"logic":[22],"programming.As":[23],"this":[24,28,135,220,346],"framework":[25,52,235],"is":[26,131,176,186,217,258,266,285,323,326],"constructive,":[27],"will":[29],"sometimes":[30],"dictate":[31],"an":[32,166,177,214,327],"approach":[33,239],"whicli":[34],"differs":[35],"slightly":[36],"from":[37,291],"traditional":[39],"(classical)":[40],"one.We":[41],"discuss":[42,107],"foundational":[44],"problems":[45],"involved":[46],"in":[47,74,134,151,164,183,345],"adding":[48],"negation":[49,113,257],"including":[58],"role":[60],"Negation":[63,262],"Failure":[65,264],"(NAF)":[66],"rule":[67],"and":[68,78,117,123,137,174,210,222,243,348,362,369,383,395,401,428],"Closed":[70],"World":[71],"Assumption":[72],"(CWA)":[73],"constructive":[76,234],"setting,":[77],"introduce":[79],"notion":[81,87,94],"completely":[84],"defined":[85],"predicate.This":[86],"may":[88,148,155,226],"be":[89,149,227],"used":[90,133],"define":[92],"NAF":[96,122],"more":[99,124,142,187,204],"general":[100],"class":[101,252,282],"goals":[103,202],"than":[104,115,190,207],"literals.We":[105],"also":[106],"possibilities":[109],"forms":[111],"other":[114],"NAF,":[116],"explore":[118],"relationships":[120],"between":[121],"explicit":[125,143,178],"forms.Clark's":[126],"completion":[127,147,159],"program":[130],"often":[132,389],"context,":[136],"we":[138,212,244],"show":[139,223],"how":[140,224],"version":[144],"given":[150],"formulae.We":[154],"think":[156],"specifying":[161],"theory":[163,271],"which":[165,182,216,256,287,316],"atom":[167],"A":[168,171],"fails":[169],"if":[170],"D":[172],"I,":[173],"hence":[175],"axiomatisation":[179],"failure,":[181],"our":[184],"case":[185],"computationally":[188],"meaningful":[189],"Clark's":[191],"completion.The":[192],"problem":[193],"finding":[195],"answer":[196],"substitutions":[197],"existentially":[199],"quantified":[200],"negated":[201],"requires":[203,288],"powerful":[205],"techniques":[206],"unification":[208],"alone,":[209],"so":[211],"give":[213,245],"algorithm":[215],"suitable":[218],"purpose,":[221],"it":[225],"incorporated":[228],"into":[229],"goal":[231],"reduction":[232],"process.A":[233],"necessitates":[236],"different":[238],"model":[241,248,270,306],"theory,":[242],"Kripke-like":[247,305],"extended":[251],"programs":[254,284],"implemented":[259],"by":[260,273],"rule.This":[265],"based":[267],"on":[268,280,342],"developed":[272],"Miller":[274,378],"formulae.No":[278],"restriction":[279],"used,":[286],"some":[289,308],"departures":[290],"usual":[293],"Tw":[294],"process,":[295],"but":[296,439],"spirit":[298],"construction":[301],"remains":[302],"same.The":[304],"suggests":[307],"structural":[309],"properties":[310],"formulae":[315],"are":[317,335,430,443],"semantic":[319],"interest.One":[320],"important":[321],"question":[322],"\"No":[324],"man":[325],"island,":[328],"entire":[329],"itself...\"":[331],"-John":[332],"Donne":[333],"There":[334],"many":[336,433],"people":[337,424],"who":[338],"have":[339,425],"helped":[340],"me":[341],"my":[343,391],"way":[344],"long":[347],"arduous":[349],"quest.My":[350],"supervisor,":[351],"Don":[352],"Sannella,":[353],"has":[354,373,379],"been":[355,374,380],"constant":[357],"source":[358,385],"advice,":[360],"encouragement":[361],"enthusiasm.His":[363],"careful":[364],"reading":[365],"various":[367],"ill-defined":[368],"poorly":[370],"written":[371],"documents":[372],"great":[376],"boon.Dale":[377],"patient":[382],"reliable":[384],"stimulating":[387],"discussion,":[388],"nudging":[390],"hastily":[392],"thought":[393],"out":[394,414],"sketchy":[396],"ideas":[397],"towards":[398],"enlightenment.Robin":[399],"Milner":[400],"Cohn":[402],"Stirling":[403],"proved":[404],"themselves":[405],"very":[406],"good":[407],"at":[408],"plucking":[409],"kernel":[411],"wheat":[413],"mountain":[417],"chaff.Discussions":[419],"with":[420],"number":[422],"enriched":[426],"me,":[427],"there":[429],"far":[431],"too":[432],"name":[435],"them":[436,442],"all":[437],"individually,":[438],"chief":[440],"amongst":[441],"Jamie":[444],"An-":[445]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}