Skip to main content
×
Home
    • Aa
    • Aa
  • Theory and Practice of Logic Programming, Volume 12, Issue 6
  • November 2012, pp. 889-927

Coding guidelines for Prolog

  • MICHAEL A. COVINGTON (a1), ROBERTO BAGNARA (a2), RICHARD A. O'KEEFE (a3), JAN WIELEMAKER (a4) and SIMON PRICE (a5)
  • DOI: http://dx.doi.org/10.1017/S1471068411000391
  • Published online: 30 June 2011
Abstract
Abstract

Coding standards and good practices are fundamental to a disciplined approach to software projects irrespective of programing languages being employed. Prolog programing can benefit from such an approach, perhaps more than programing in other languages. Despite this, no widely accepted standards and practices seem to have emerged till now. The present paper is a first step toward 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 programing 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 full-fledged coding standard for the project.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

W. F. Clocksin and C. S. Mellish 2003. Programming in Prolog, 5th ed.Springer, Berlin, Germany.

F. Fages and E. Coquery 2001. Typing constraint logic programs. Theory and Practice of Logic Programming 1, 6, 751777.

C. A. R. Hoare 1962. Quicksort. The Computer Journal 5, 1, 1016.

A. Mycroft and R. A. O'Keefe 1984. A polymorphic type system for Prolog. Artificial Intelligence 23, 3, 295307.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords: