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