Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker & Simon Price (2012):
Coding guidelines for Prolog.
Theory and Practice of Logic Programming 12(6),
pp. 889–927,
doi:10.1017/s1471068411000391.
Thom Frühwirth (1998):
Theory and practice of constraint handling rules.
The Journal of Logic Programming 37(1-3),
pp. 95–138,
doi:10.1016/s0743-1066(98)10005-5.
Daniel Cabeza Gras & Manuel V. Hermenegildo (2000):
A New Module System for Prolog.
In: Proceedings Computational Logic,
CL '00.
Springer,
pp. 131–148,
doi:10.1007/3-540-44957-4_9.
Marbod Hopfner, Dietmar Seipel & Joachim Baumeister (2005):
A Prolog Tool for Slicing Source Code.
In: 19th Workshop on (Constraint) Logic Programming.
ISO/IEC 13211-1 (1995):
Information technology – Programming languages – Prolog – Part 1: General core.
ISO Standard.
International Organization for Standardization,
doi:10.3403/00595017.
David Jeffery (2002):
Expressive Type Systems for Logic Programming Languages.
Department of Computer Science and Software Engineering, The University of Melbourne.
Randy M. Kaplan (1991):
A Plea for Readable Pleas for a Readable Prolog Programming Style.
SIGPLAN Not. 26(2),
pp. 41–50,
doi:10.1145/122179.122184.
Ninus Khamis, René Witte & Juergen Rilling (2010):
Automatic Quality Assessment of Source Code Comments: The JavadocMiner.
In: Natural Language Processing and Information Systems.
Springer,
pp. 68–79,
doi:10.1007/978-3-642-13881-2_7.
Sebastian Krings & Philipp Körner (2018):
plspec – A Specification Language for Prolog Data.
In: Proceedings Declare 2017 – Conference on Declarative Programming,
LNAI 10997.
Springer,
doi:10.1007/978-3-030-00801-7_13.
F. Long, D. Mohindra, R.C. Seacord, D.F. Sutherland & D. Svoboda (2013):
Java Coding Guidelines: 75 Recommendations for Reliable and Secure Programs.
SEI Series in Software Engineering.
Pearson Education.
R. McLaughlin (1990):
A Plea for a Readable Prolog Programming Style.
SIGPLAN Not. 25(11),
pp. 75–79,
doi:10.1145/101356.101360.
Walaa Medhat, Ahmed Hassan & Hoda Korashy (2014):
Sentiment analysis algorithms and applications: A survey.
Ain Shams Engineering Journal 5(4),
pp. 1093–1113,
doi:10.1016/j.asej.2014.04.011.
Edison Mera & Jan Wielemaker (2013):
Porting and refactoring Prolog programs: the PROSYN case study.
Theory and Practice of Logic Programming 13(4-5-Online-Supplement).
Paulo Jorge Lopes de Moura (2003):
Logtalk: Design of an object-oriented logic programming language.
Department of Informatics, University of Beira Interior, Portugal.
Alan Mycroft & Richard A O'Keefe (1984):
A polymorphic type system for Prolog.
Artificial intelligence 23(3),
pp. 295–307,
doi:10.1016/0004-3702(84)90017-1.
Falco Nogatz, Dietmar Seipel & Salvador Abreu (2019):
Definite Clause Grammars with Parse Trees: Extension for Prolog.
In: Proceedings of 8th Symposium on Languages, Applications, Technologies (SLATE),
OASICS 74,
pp. 7:1–7:14,
doi:10.4230/OASIcs.SLATE.2019.7.
German Puebla, Francisco Bueno & Manuel Hermenegildo (1998):
A Framework for Assertion-based Debugging in Constraint Logic Programming.
In: Proceedings Workshop on Types for CLP,
pp. 3–15,
doi:10.1007/3-540-49481-2_43.
Germán Puebla, Francisco Bueno & Manuel Hermenegildo (2000):
An Assertion Language for Constraint Logic Programs.
In: Analysis and Visualization Tools for Constraint Programming.
Springer,
pp. 23–61,
doi:10.1007/10722311_2.
Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker & Bart Demoen (2008):
Towards Typed Prolog.
In: Logic Programming.
Springer,
pp. 693–697,
doi:10.1007/978-3-540-89982-2_59.
Robert C. Seacord (2008):
The CERT C Secure Coding Standard,
1st edition.
Addison-Wesley Professional.
Alexander Serebrenik, Tom Schrijvers & Bart Demoen (2008):
Improving Prolog Programs: Refactoring for Prolog.
Theory and Practice of Logic Programming 8(2),
pp. 201–215,
doi:10.1017/s1471068407003134.
Trupti Shiralkar & Brenda Grove (2009):
Guidelines for Secure Coding.
Markus Triska (2012):
The Finite Domain Constraint Solver of SWI-Prolog.
In: FLOPS,
LNCS 7294,
pp. 307–316,
doi:10.1007/978-3-642-29822-6_24.
Jan Wielemaker (2012):
SWI-Prolog: history and focus for the future.
In: ALP Issue 152.
ALP.
Jan Wielemaker (2014):
SWI-Prolog version 7 extensions.
In: Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014,
pp. 109.
Jan Wielemaker (2017):
SWI-Prolog Reference Manual 7.6.
Technical Report.
Jan Wielemaker & Michael Hendricks (2013):
Why It's Nice to be Quoted: Quasiquoting for Prolog.
In: Proc. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE).