about 'Prolog'

Books and proceedings

  1. Thom Frühwirth, Leslie De Koninck, Markus Triska, and Jan Wielemaker. SWI Prolog Reference Manual 6.2.2. BoD--Books on Demand, 2012.


  1. Zsolt Zombori. Prolog Based Reasoning. PhD thesis, University of Technology and Economics Budapest, 2013.

Articles in journal, book chapters

  1. Philipp Körner, Michael Leuschel, João Barbosa, Vìtor Santos Costa, Manuel V. Hermenegildo, Jose Morales, Jan Wielemaker, Giovanni Ciatto, Verónica Dahl, Daniel Diaz, and Salvador Abreu. 50 Years of Prolog and Beyond. arXiv preprint arXiv:2201.10816, 2022. Keyword(s): Prolog, logic programming systems, portability, rationale, evolution, vision.
  2. Samer Abdallah. Automatic Differentiation using Constraint Handling Rules in Prolog. arXiv preprint arXiv:1706.00231, 2017.
  3. Falco Nogatz and Thom Frühwirth. From XML Schema to JSON Schema: Translation with CHR. Proceedings of the 11th International Workshop on Constraint Handling Rules, 2014. [WWW]
  4. Henning Christiansen. Executable specifications for hypotheses-based reasoning with Prolog and Constraint Handling Rules. J. of Applied Logic, 7(3):341-362, September 2009. [doi:10.1016/j.jal.2008.10.004] Keyword(s): abduction.
  5. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007.
  6. Christian Holzbaur and Thom Frühwirth. A Prolog Constraint Handling Rules Compiler and Runtime System.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 369-388. Taylor & Francis, April 2000. [doi:10.1080/088395100117043] Keyword(s): implementation.
  7. Mireille Ducassé. Opium: an extendable trace analyzer for Prolog. J. Logic Programming, 39(1--3):177-223, 1999.

Conference articles

  1. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Using Rules to Animate Prolog Programs. In Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), 2017.
  2. Jerzy Karczmarczuk. Programming for the Humanities. In Proceedings of the 8th International Conference on Computer Supported Education, CSEDU 2016, Portugal, pages 298-305, 2016. SCITEPRESS - Science and Technology Publications, Lda. ISBN: 978-989-758-179-3. [WWW] [doi:10.5220/0005791202980305] Keyword(s): Abstraction, Constraint programming, Logic, Non-determinism., Prolog.
  3. János Csorba, Zsolt Zombori, and Péter Szeredi. Pros and Cons of Using CHR for Type Inference. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 16-31, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): type systems, CHR 2012, CHR 2012.
  4. Armando Gonçalves, Marcos Aurélio Almeida da Silva, Pierre Deransart, and Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. In Jon Sneyers, editor, CHR11l, pages 32-47, September 2011. GUC, Technical report. [PDF] Keyword(s): debugging, CHR 2011, CHR 2011.
  5. Zsolt Zombori, János Csorba, and Péter Szeredi. Static Type Checking for the Q Functional Language in Prolog. In John Gallagher and Michael Gelfond, editors, Technical Communications of the 27th Intl. Conf. on Logic Programming, volume 11 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, pages 62-72, July 2011. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. Keyword(s): type systems.
  6. Paolo Pilozzi, Tom Schrijvers, and Maurice Bruynooghe. A transformational approach for proving properties of the CHR constraint store. In Danny De Schreye, editor, LOPSTR09l, volume 6037 of LNCS, pages 22-36, 2010. SV. [doi:10.1007/978-3-642-12592-8_3] Keyword(s): termination.
  7. Verónica Dahl, Baohua Gu, and Erez Maharshak. A Hyprolog Parsing Methodology for Property Grammars. In IWANN '09: Proc. 10th Intl. Workshop on Artif. Neural Networks, volume 5517 of LNCS, pages 480-487, 2009. SV. [doi:10.1007/978-3-642-02478-8_60] Keyword(s): linguistics.
  8. Cinzia Di Giusto, Maurizio Gabbrielli, and Maria Chiara Meo. Expressiveness of Multiple Heads in CHR. In SOFSEM '09: Proc. 35th Conf. Current Trends in Theory and Practice of Comp. Science, LNCS, pages 205-216, 2009. SV. [doi:10.1007/978-3-540-95891-8_21] Keyword(s): expressivity.
  9. Maurizio Gabbrielli, Maria Chiara Meo, and Jacopo Mauro. On the expressive power of priorities in CHR. In F.J. López-Fraguas, editor, PPDP09l, pages 267-276, September 2009. ACM. [doi:10.1145/1599410.1599443] Keyword(s): expressivity, priorities.
  10. Slim Abdennadher and Shehab Fawzy. JCHRIDE: An Integrated Development Environment for JCHR. In Sibylle Schwarz, editor, WLP '08: Proc. 22nd Workshop on (Constraint) Logic Programming, Dresden, Germany, pages 1-6, September 2008. University Halle-Wittenberg, Institute of Computer Science, Technical report 2008/08. Keyword(s): Java.
  11. Tom Schrijvers. Constraint Handling Rules --- A Tutorial for (Prolog) Programmers. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 9-10, December 2008. SV. [doi:10.1007/978-3-540-89982-2_3] Keyword(s): tutorial.
  12. Khalil Djelloul, Thi-Bich-Hanh Dao, and Thom Frühwirth. Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 22nd ACM Symp. Applied Computing, pages 58-64, 2007. ACM. ISBN: 1-59593-480-4.
  13. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. In WST '07: 9th Intl. Workshop on Termination, June 2007. Keyword(s): termination.
  14. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^{\lor}$: An Extended Refined Operational Semantics for CHR$^{\lor}$ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007.
  15. Pieter Wuille, Tom Schrijvers, and Bart Demoen. CCHR: the fastest CHR Implementation, in C. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 123-137, September 2007. [WWW] [PDF] Keyword(s): CHR 2007, implementation, CHR 2007, CHR 2007.
  16. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Search strategies in CHR(Prolog). In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 109-124, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, disjunction, CHR 2006, CHR 2006.
  17. Marc Meister and Thom Frühwirth. Complexity of the CHR Rational Tree Equation Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 77-91, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, complexity, algorithms, CHR 2006, CHR 2006.
  18. Tom Schrijvers, Neng-Fa Zhou, and Bart Demoen. Translating Constraint Handling Rules into Action Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 141-155, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, implementation, related formalisms, CHR 2006, CHR 2006.
  19. Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 19-33, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005.
  20. Tom Schrijvers, Jan Wielemaker, and Bart Demoen. Poster: Constraint Handling Rules for SWI-Prolog. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of UIB, February 2005. [WWW]
  21. Peter Van Weert, Tom Schrijvers, and Bart Demoen. K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 47-62, 2005. KULCW, Technical report CW 421. [WWW] [PDF] Keyword(s): CHR 2005, Java, implementation, CHR 2005, CHR 2005.
  22. Tom Schrijvers. JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 475-476, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): applications.
  23. Tom Schrijvers and Bart Demoen. The K.U.Leuven CHR system: Implementation and application. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 8-12, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, implementation, CHR 2004, CHR 2004.
  24. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP99, volume 1702 of LNCS, pages 117-133, 1999. SV. Keyword(s): implementation.
  25. Stéphane Bressan. Overview of a Prolog implementation of COntext INterchange mediator. In PAP '97: Proc. Fifth Intl. Conf. Pract. Applic. Prolog, London, 1997. Practical Application Company Ltd..

Internal reports

  1. Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java.
  2. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. Technical report CW 487, KULCW, Leuven, Belgium, April 2007. [WWW] Keyword(s): termination.