{"id":"https://openalex.org/W2105946993","doi":"https://doi.org/10.1017/s1471068411000391","title":"Coding guidelines for Prolog","display_name":"Coding guidelines for Prolog","publication_year":2011,"publication_date":"2011-06-30","ids":{"openalex":"https://openalex.org/W2105946993","doi":"https://doi.org/10.1017/s1471068411000391","mag":"2105946993"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000391","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000391","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/0911.2899","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110284751","display_name":"Michael A. Covington","orcid":null},"institutions":[{"id":"https://openalex.org/I165733156","display_name":"University of Georgia","ror":"https://ror.org/00te3t702","country_code":"US","type":"education","lineage":["https://openalex.org/I165733156"]},{"id":"https://openalex.org/I4210164862","display_name":"Artificial Intelligence in Medicine (Canada)","ror":"https://ror.org/05p590m36","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210164862"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"MICHAEL A. COVINGTON","raw_affiliation_strings":["Institute for Artificial Intelligence, The University of Georgia, Athens, GA, USA (e-mail:","Institute for artificial intelligence, the university of georgia, athens, ga, usa (e-mail: [email\u00a0protected])#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Artificial Intelligence, The University of Georgia, Athens, GA, USA (e-mail:","institution_ids":["https://openalex.org/I165733156","https://openalex.org/I4210164862"]},{"raw_affiliation_string":"Institute for artificial intelligence, the university of georgia, athens, ga, usa (e-mail: [email\u00a0protected])#TAB#","institution_ids":["https://openalex.org/I165733156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057370941","display_name":"Roberto Bagnara","orcid":"https://orcid.org/0000-0002-6163-6278"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ROBERTO BAGNARA","raw_affiliation_strings":["Department of Mathematics, University of Parma, Itlay BUGSENG srl, Parma, Italy (e-mail:","Department of mathematics, university of parma, itlay bugseng srl, parma, italy (e-mail: bagnara@cs.unipr.it)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Parma, Itlay BUGSENG srl, Parma, Italy (e-mail:","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Department of mathematics, university of parma, itlay bugseng srl, parma, italy (e-mail: bagnara@cs.unipr.it)#TAB#","institution_ids":["https://openalex.org/I124601658"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108505151","display_name":"Richard O\u2019Keefe","orcid":null},"institutions":[{"id":"https://openalex.org/I80281795","display_name":"University of Otago","ror":"https://ror.org/01jmxt844","country_code":"NZ","type":"education","lineage":["https://openalex.org/I80281795"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"RICHARD A. O'KEEFE","raw_affiliation_strings":["Department of Computer Science, University of Otago, Dunedin, New Zealand (e-mail:","Department of computer science, university of otago, dunedin, new zealand (e-mail: ok@cs.otago.ac.nz)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Otago, Dunedin, New Zealand (e-mail:","institution_ids":["https://openalex.org/I80281795"]},{"raw_affiliation_string":"Department of computer science, university of otago, dunedin, new zealand (e-mail: ok@cs.otago.ac.nz)#TAB#","institution_ids":["https://openalex.org/I80281795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052365388","display_name":"Jan Wielemaker","orcid":"https://orcid.org/0000-0001-5574-5673"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I911458345","display_name":"Amsterdam UMC Location Vrije Universiteit Amsterdam","ror":"https://ror.org/00q6h8f30","country_code":"NL","type":"healthcare","lineage":["https://openalex.org/I4210151833","https://openalex.org/I911458345"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"JAN WIELEMAKER","raw_affiliation_strings":["Department of Computer Science, VU University Amsterdam, The Netherlands (e-mail:","Department of computer science, vu university amsterdam, the netherlands (e-mail: j.wielemaker@cs.vu.nl)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, VU University Amsterdam, The Netherlands (e-mail:","institution_ids":["https://openalex.org/I911458345"]},{"raw_affiliation_string":"Department of computer science, vu university amsterdam, the netherlands (e-mail: j.wielemaker@cs.vu.nl)#TAB#","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071785651","display_name":"Simon Price","orcid":"https://orcid.org/0000-0002-9126-1980"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"SIMON PRICE","raw_affiliation_strings":["Intelligent Systems Laboratory, University of Bristol, Bristol, UK (e-mail:","Intelligent systems laboratory, university of bristol, bristol, uk (e-mail: simon.price@bristol.ac.uk)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intelligent Systems Laboratory, University of Bristol, Bristol, UK (e-mail:","institution_ids":["https://openalex.org/I36234482"]},{"raw_affiliation_string":"Intelligent systems laboratory, university of bristol, bristol, uk (e-mail: simon.price@bristol.ac.uk)#TAB#","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.12676939,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"12","issue":"6","first_page":"889","last_page":"927"},"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.9994999766349792,"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.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.992900013923645,"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/computer-science","display_name":"Computer science","score":0.8369796276092529},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.8282585144042969},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6688793897628784},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6533685922622681},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.627065122127533},{"id":"https://openalex.org/keywords/normative","display_name":"Normative","score":0.5052192807197571},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5030547976493835},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4541262686252594}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8369796276092529},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8282585144042969},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6688793897628784},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6533685922622681},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.627065122127533},{"id":"https://openalex.org/C44725695","wikidata":"https://www.wikidata.org/wiki/Q288156","display_name":"Normative","level":2,"score":0.5052192807197571},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5030547976493835},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4541262686252594},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068411000391","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000391","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:research-information.bris.ac.uk:openaire_cris_publications/ee0c5925-1947-4a58-b32f-76517afef1df","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/ee0c5925-1947-4a58-b32f-76517afef1df","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Covington, MA, Bagnara, R, O'Keefe, RA, Wielemaker, J & Price, S 2012, 'Coding Guidelines for Prolog', Theory and Practice of Logic Programming, vol. 12, no. 6, pp. 889-927. https://doi.org/10.1017/S1471068411000391","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:0911.2899","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0911.2899","pdf_url":"https://arxiv.org/pdf/0911.2899","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},{"id":"pmh:vu:oai:research.vu.nl:publications/9a2cdd9e-a399-48a2-89e4-75399c4f1e75","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/9a2cdd9e-a399-48a2-89e4-75399c4f1e75","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and practice of logic programming. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:0911.2899","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0911.2899","pdf_url":"https://arxiv.org/pdf/0911.2899","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W16534291","https://openalex.org/W97706032","https://openalex.org/W102050481","https://openalex.org/W1504949952","https://openalex.org/W1510504945","https://openalex.org/W1512001008","https://openalex.org/W1519069519","https://openalex.org/W1524357480","https://openalex.org/W1586338668","https://openalex.org/W1868971042","https://openalex.org/W1960390258","https://openalex.org/W2009944560","https://openalex.org/W2033405134","https://openalex.org/W2038037493","https://openalex.org/W2899766884","https://openalex.org/W2914540762","https://openalex.org/W4232308400","https://openalex.org/W4235295823"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2480201319","https://openalex.org/W2294325978","https://openalex.org/W2890345561"],"abstract_inverted_index":{"Abstract":[0],"Coding":[1],"standards":[2,41],"and":[3,42,79,98,143],"good":[4],"practices":[5,43],"are":[6],"fundamental":[7],"to":[8,12,45,121],"a":[9,54,111,116,155],"disciplined":[10],"approach":[11],"software":[13],"projects":[14],"irrespective":[15],"of":[16,73,94,118,136],"programing":[17,22,32,124],"languages":[18],"being":[19],"employed.":[20],"Prolog":[21,74],"can":[23],"benefit":[24],"from":[25],"such":[26],"an":[27],"approach,":[28],"perhaps":[29],"more":[30],"than":[31],"in":[33],"other":[34],"languages.":[35],"Despite":[36],"this,":[37],"no":[38],"widely":[39],"accepted":[40],"seem":[44],"have":[46],"emerged":[47],"till":[48],"now.":[49],"The":[50],"present":[51],"paper":[52,130],"is":[53,85],"first":[55],"step":[56],"toward":[57],"filling":[58],"this":[59,127],"void:":[60],"It":[61],"provides":[62],"immediate":[63],"guidelines":[64,138],"for":[65,100,126,159],"code":[66],"layout,":[67],"naming":[68],"conventions,":[69],"documentation,":[70],"proper":[71],"use":[72],"features,":[75],"program":[76],"development,":[77],"debugging,":[78],"testing.":[80],"Presented":[81],"with":[82],"each":[83,101],"guideline":[84],"its":[86],"rationale":[87],"and,":[88],"where":[89],"sensible":[90],"options":[91],"exist,":[92],"illustrations":[93],"the":[95,129,133,160],"relative":[96],"pros":[97],"cons":[99],"alternative.":[102],"A":[103],"coding":[104,157],"standard":[105,158],"should":[106,147],"always":[107],"be":[108,148],"selected":[109],"on":[110,115,154],"per-project":[112],"basis,":[113],"based":[114],"host":[117],"issues":[119],"pertinent":[120],"any":[122],"given":[123],"project;":[125],"reason":[128],"goes":[131],"beyond":[132],"mere":[134],"provision":[135],"normative":[137],"by":[139],"discussing":[140],"key":[141],"factors":[142],"important":[144],"criteria":[145],"that":[146],"taken":[149],"into":[150],"account":[151],"when":[152],"deciding":[153],"full-fledged":[156],"project.":[161]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}