Coding guidelines for Prolog

DOI10.1017/S1471068411000391MaRDI QIDQ4897704zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price

Publication date 27 December 2012

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068411000391

zbMATH Keywords

coding standardsdebuggingefficiencyPrologstyle

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Bob's concise coding conventions
• scientific article; zbMATH DE number 42100
• scientific article; zbMATH DE number 194838
• scientific article; zbMATH DE number 2085266
• A constructive view of PROLOG

Cites work

• A polymorphic type system for Prolog
• scientific article; zbMATH DE number 3591349 (Why is no real title available?)
• scientific article; zbMATH DE number 788038 (Why is no real title available?)
• scientific article; zbMATH DE number 804363 (Why is no real title available?)
• Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 -- August 1, 2002. Proceedings
• Typing constraint logic programs

Cited in

(3)

• scientific article; zbMATH DE number 7453099 (Why is no real title available?)
• Bob's concise coding conventions
• Fifty Years of Prolog and Beyond

This page was built for publication: Coding guidelines for Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4897704)