Prolog编码指南
摘要：Prolog编程的编码标准和良好实践是软件项目中纪律性方法的基础，无论所采用的编程语言是什么。Prolog编程可能比其他编程语言更受益于这样的方法。尽管如此，到目前为止似乎没有出现广泛接受的标准和实践。本文是填补这一空白的第一步：它提供了有关代码布局、命名规范、文档编写、正确使用Prolog特性、程序开发、调试和测试的直接指南。每个准则都附有其理由以及在存在合理选项的情况下，各种选择的优缺点说明。编码标准应该根据与任何给定编程项目相关的一系列问题选择，因此，本文不仅提供规范指南，还讨论了在决定为项目选择一个完整的编码标准时应考虑的关键因素和重要标准。
作者：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)
论文ID：0911.2899
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-05-18