{"id":"https://openalex.org/W2026319781","doi":"https://doi.org/10.1145/1056623.1056624","title":"An overview of the HORNE logic programming system","display_name":"An overview of the HORNE logic programming system","publication_year":1983,"publication_date":"1983-04-01","ids":{"openalex":"https://openalex.org/W2026319781","doi":"https://doi.org/10.1145/1056623.1056624","mag":"2026319781"},"language":"en","primary_location":{"id":"doi:10.1145/1056623.1056624","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1056623.1056624","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1056623.1056624","source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1056623.1056624","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049086782","display_name":"Alan M. Frisch","orcid":"https://orcid.org/0000-0001-5015-2676"},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alan M. Frisch","raw_affiliation_strings":["The University of Rochester, Rochester, New York"],"affiliations":[{"raw_affiliation_string":"The University of Rochester, Rochester, New York","institution_ids":["https://openalex.org/I5388228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090002679","display_name":"James F. Allen","orcid":"https://orcid.org/0000-0003-4543-5457"},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James F. Allen","raw_affiliation_strings":["The University of Rochester, Rochester, New York"],"affiliations":[{"raw_affiliation_string":"The University of Rochester, Rochester, New York","institution_ids":["https://openalex.org/I5388228"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080878199","display_name":"Mark Giuliano","orcid":null},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mark Giuliano","raw_affiliation_strings":["The University of Rochester, Rochester, New York"],"affiliations":[{"raw_affiliation_string":"The University of Rochester, Rochester, New York","institution_ids":["https://openalex.org/I5388228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049086782"],"corresponding_institution_ids":["https://openalex.org/I5388228"],"apc_list":null,"apc_paid":null,"fwci":4.0969,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.94142566,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":"84","first_page":"27","last_page":"29"},"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.9919000267982483,"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.9919000267982483,"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.9767000079154968,"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.9501000046730042,"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/lisp","display_name":"Lisp","score":0.9558792114257812},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8098546266555786},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7341557741165161},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7230163812637329},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6471641063690186},{"id":"https://openalex.org/keywords/common-lisp","display_name":"Common Lisp","score":0.5316330194473267},{"id":"https://openalex.org/keywords/succinctness","display_name":"Succinctness","score":0.4765256643295288},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32500776648521423}],"concepts":[{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.9558792114257812},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8098546266555786},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7341557741165161},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7230163812637329},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6471641063690186},{"id":"https://openalex.org/C2779353305","wikidata":"https://www.wikidata.org/wiki/Q849146","display_name":"Common Lisp","level":3,"score":0.5316330194473267},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.4765256643295288},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32500776648521423}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1056623.1056624","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1056623.1056624","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1056623.1056624","source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1056623.1056624","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1056623.1056624","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1056623.1056624","source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1554890996","display_name":"Recognizing Intent in Natural Language","funder_award_id":"8012418","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1984755248","display_name":"Extended User-System Dialogues For Complex Information      Retrieval (Information Science)","funder_award_id":"8210564","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2026319781.pdf","grobid_xml":"https://content.openalex.org/works/W2026319781.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W329483354","https://openalex.org/W4231200349"],"related_works":["https://openalex.org/W2058090528","https://openalex.org/W1988965309","https://openalex.org/W2258104588","https://openalex.org/W1991794886","https://openalex.org/W2754702072","https://openalex.org/W283330592","https://openalex.org/W638884614","https://openalex.org/W169822401","https://openalex.org/W1978806596","https://openalex.org/W2026319781"],"abstract_inverted_index":{"HORNE":[0,11,27,60,115],"is":[1,41,128],"a":[2,13,46,48,57,102],"PROLOG-based":[3],"logic-programming":[4],"system":[5,92,143],"embedded":[6],"in":[7,10,42,53,75,147],"LISP.":[8,136],"Programming":[9],"involves":[12],"careful":[14],"mixture":[15],"of":[16,25,72,86,90,105,114,133,141],"logic":[17,74],"programming":[18],"and":[19,77,95,99,135,153],"LISP":[20,44,55,76],"programming.":[21],"Since":[22],"the":[23,66,70,78,84,87,91,106,126,131,142,148],"summer":[24],"1981,":[26],"has":[28],"been":[29],"continually":[30],"evolving":[31],"from":[32,118],"its":[33],"origin":[34],"HCPRVR":[35],"(Chester,":[36],"1979).":[37],"The":[38],"main":[39],"implementation":[40,50],"FRANZ":[43],"on":[45,56],"VAX;":[47],"scaled-down":[49],"also":[51],"exists":[52],"UCI":[54],"PDP-10.":[58],"Today,":[59],"bears":[61],"little":[62],"resemblance":[63],"to":[64],"HCPRVR;":[65],"primary":[67],"similarity":[68],"being":[69],"manner":[71],"embedding":[73],"LISP-logic":[79],"interface.":[80],"This":[81],"paper":[82,110],"conveys":[83],"flavor":[85],"current":[88],"state":[89],"sacrificing":[93],"detail":[94],"completeness":[96],"for":[97],"succinctness":[98],"simplicity.":[100],"After":[101],"brief":[103],"overview":[104],"basic":[107],"system,":[108],"this":[109],"highlights":[111],"those":[112],"aspects":[113],"that":[116,125],"differ":[117],"more":[119,138],"conventional":[120],"PROLOG":[121,134],"systems.":[122],"We":[123],"assume":[124],"reader":[127],"familiar":[129],"with":[130],"rudiments":[132],"A":[137],"thorough":[139],"account":[140],"may":[144],"be":[145],"found":[146],"\"Horne":[149],"User's":[150],"Manual\"":[151],"(Allen":[152],"Frisch,":[154],"1982).":[155]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}