https://arxiv.org/abs/0911.2899

Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member
institutions, and all contributors. Donate
 
arxiv logo > cs > arXiv:0911.2899
[                    ]

Help | Advanced Search

[All fields        ]
Search
arXiv logo
Cornell University Logo
[                    ] GO
quick links

  * Login
  * Help Pages
  * About

Computer Science > Programming Languages

arXiv:0911.2899 (cs)
[Submitted on 15 Nov 2009 (v1), last revised 17 May 2011 (this
version, v3)]

Title:Coding Guidelines for Prolog

Authors:Michael A. Covington (Institute for Artificial Intelligence,
The University of Georgia, Athens, Georgia, U.S.A.), Roberto Bagnara
(Department of Mathematics, University of Parma, and BUGSENG srl,
Italy), Richard A. O'Keefe (Department of Computer Science,
University of Otago, Dunedin, New Zealand), Jan Wielemaker
(Department of Computer Science, VU University Amsterdam, The
Netherlands), Simon Price (Intelligent Systems Laboratory, University
of Bristol, United Kingdom)
Download a PDF of the paper titled Coding Guidelines for Prolog, by
Michael A. Covington (Institute for Artificial Intelligence and 18
other authors
Download PDF

    Abstract:Coding standards and good practices are fundamental to a
    disciplined approach to software projects, whatever programming
    languages they employ. Prolog programming can benefit from such
    an approach, perhaps more than programming in other languages.
    Despite this, no widely accepted standards and practices seem to
    have emerged up to now. The present paper is a first step towards
    filling this void: it provides immediate guidelines for code
    layout, naming conventions, documentation, proper use of Prolog
    features, program development, debugging and testing. Presented
    with each guideline is its rationale and, where sensible options
    exist, illustrations of the relative pros and cons for each
    alternative. A coding standard should always be selected on a
    per-project basis, based on a host of issues pertinent to any
    given programming project; for this reason the paper goes beyond
    the mere provision of normative guidelines by discussing key
    factors and important criteria that should be taken into account
    when deciding on a fully-fledged coding standard for the project.

Comments:    39 pages, 4 figures, 2 tables
Subjects:    Programming Languages (cs.PL)
ACM classes: D.1.6; D.2.3; D.2.9; K.6.3
Cite as:     arXiv:0911.2899 [cs.PL]
             (or arXiv:0911.2899v3 [cs.PL] for this version)
             https://doi.org/10.48550/arXiv.0911.2899
             Focus to learn more
             arXiv-issued DOI via DataCite

Submission history

From: Roberto Bagnara [view email]
[v1] Sun, 15 Nov 2009 18:21:41 UTC (160 KB)
[v2] Fri, 19 Nov 2010 20:25:29 UTC (164 KB)
[v3] Tue, 17 May 2011 14:30:39 UTC (178 KB)
Full-text links:

Access Paper:

    Download a PDF of the paper titled Coding Guidelines for Prolog,
    by Michael A. Covington (Institute for Artificial Intelligence
    and 18 other authors
  * Download PDF
  * Other Formats

(view license)
Current browse context:
cs.PL
< prev   |   next >
new | recent | 0911
Change to browse by:
cs

References & Citations

  * NASA ADS
  * Google Scholar
  * Semantic Scholar

DBLP - CS Bibliography

listing | bibtex
Michael A. Covington
Roberto Bagnara
Richard A. O'Keefe
Jan Wielemaker
Simon Price
a export BibTeX citation Loading...

BibTeX formatted citation

x
[loading...          ]
Data provided by:

Bookmark

BibSonomy logo Reddit logo
(*) Bibliographic Tools

Bibliographic and Citation Tools

[ ] Bibliographic Explorer Toggle
Bibliographic Explorer (What is the Explorer?)
[ ] Litmaps Toggle
Litmaps (What is Litmaps?)
[ ] scite.ai Toggle
scite Smart Citations (What are Smart Citations?)
( ) Code, Data, Media

Code, Data and Media Associated with this Article

[ ] Links to Code Toggle
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
[ ] DagsHub Toggle
DagsHub (What is DagsHub?)
[ ] Links to Code Toggle
Papers with Code (What is Papers with Code?)
[ ] ScienceCast Toggle
ScienceCast (What is ScienceCast?)
( ) Demos

Demos

[ ] Replicate Toggle
Replicate (What is Replicate?)
[ ] Spaces Toggle
Hugging Face Spaces (What is Spaces?)
( ) Related Papers

Recommenders and Search Tools

[ ] Link to Influence Flower
Influence Flower (What are Influence Flowers?)
[ ] Connected Papers Toggle
Connected Papers (What is Connected Papers?)
[ ] Core recommender toggle
CORE Recommender (What is CORE?)

  * Author
  * Venue
  * Institution
  * Topic

( ) About arXivLabs

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and
share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have
embraced and accepted our values of openness, community, excellence,
and user data privacy. arXiv is committed to these values and only
works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community?
Learn more about arXivLabs.

Which authors of this paper are endorsers? | Disable MathJax (What is
MathJax?)

  * About
  * Help

  * Click here to contact arXiv Contact
  * Click here to subscribe Subscribe

  * Copyright
  * Privacy Policy

  * Web Accessibility Assistance
  * arXiv Operational Status
    Get status notifications via email or slack