References

  1. 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.
  2. 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.
  3. 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.
  4. Marbod Hopfner, Dietmar Seipel & Joachim Baumeister (2005): A Prolog Tool for Slicing Source Code. In: 19th Workshop on (Constraint) Logic Programming.
  5. ISO/IEC 13211-1 (1995): Information technology – Programming languages – Prolog – Part 1: General core. ISO Standard. International Organization for Standardization, doi:10.3403/00595017.
  6. David Jeffery (2002): Expressive Type Systems for Logic Programming Languages. Department of Computer Science and Software Engineering, The University of Melbourne.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. R. McLaughlin (1990): A Plea for a Readable Prolog Programming Style. SIGPLAN Not. 25(11), pp. 75–79, doi:10.1145/101356.101360.
  12. 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.
  13. 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).
  14. Paulo Jorge Lopes de Moura (2003): Logtalk: Design of an object-oriented logic programming language. Department of Informatics, University of Beira Interior, Portugal.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. J.W. Rymarczyk (1982): Coding guidelines for pipelined processors. Comput. Archit. News 2, doi:10.1145/964750.801821.
  20. 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.
  21. Robert C. Seacord (2008): The CERT C Secure Coding Standard, 1st edition. Addison-Wesley Professional.
  22. 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.
  23. Trupti Shiralkar & Brenda Grove (2009): Guidelines for Secure Coding.
  24. 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.
  25. Jan Wielemaker (2012): SWI-Prolog: history and focus for the future. In: ALP Issue 152. ALP.
  26. 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.
  27. Jan Wielemaker (2017): SWI-Prolog Reference Manual 7.6. Technical Report.
  28. 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).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org