P-rho-Log: Combining Logic Programming with Conditional Transformation Systems

Authors Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer

Thumbnail PDF


  • Filesize: 323 kB
  • 5 pages

Document Identifiers

Author Details

Besik Dundua
Temur Kutsia
Klaus Reisenberger-Hagmayer

Cite AsGet BibTex

Besik Dundua, Temur Kutsia, and Klaus Reisenberger-Hagmayer. P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 10:1-10:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


P-rho-Log extends Prolog by conditional transformations that are controlled by strategies. We give a brief overview of the tool and illustrate its capabilities.
  • Conditional transformation rules
  • strategies
  • Prolog


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, and Antoine Reilles. Tom: Piggybacking rewriting on Java. In Franz Baader, editor, Term Rewriting and Applications, 18th International Conference, RTA 2007, volume 4533 of Lecture Notes in Computer Science, pages 36-47. Springer, 2007. Google Scholar
  2. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Marian Vittek. Elan: A logical framework based on computational systems. ENTCS, 4, 1996. Google Scholar
  3. Stefan D. Bruda. Prolog mode for Emacs (version 1.25), 2003. Available from https://bruda.ca/emacs/prolog_mode_for_emacs. Google Scholar
  4. Yves Caseau, François-Xavier Josset, and François Laburthe. CLAIRE: combining sets, search and rules to better express algorithms. TPLP, 2(6):769-805, 2002. Google Scholar
  5. Horatiu Cirstea and Claude Kirchner. The rewriting calculus - Parts I and II. Logic Journal of the IGPL, 9(3):339-410, 2001. Google Scholar
  6. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Jose F. Quesada. Maude: specification and programming in rewriting logic. Theor. Comput. Sci., 285(2):187-243, 2002. Google Scholar
  7. Jorge Coelho, Besik Dundua, Mário Florido, and Temur Kutsia. A rule-based approach to XML processing and web reasoning. In Pascal Hitzler and Thomas Lukasiewicz, editors, RR 2010, volume 6333 of LNCS, pages 164-172. Springer, 2010. Google Scholar
  8. Hubert Comon. Completion of rewrite systems with membership constraints. Part II: Constraint solving. J. Symb. Comput., 25(4):421-453, 1998. Google Scholar
  9. Besik Dundua, Temur Kutsia, and Mircea Marin. Strategies in PρLog. In Maribel Fernández, editor, 9th Int. Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, volume 15 of EPTCS, pages 32-43, 2009. Google Scholar
  10. Besik Dundua, Temur Kutsia, and Klaus Reisenberger-Hagmayer. An overview of PρLog. RISC Report Series 16-05, Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria, 2016. Google Scholar
  11. Thom W. Frühwirth. Theory and practice of Constraint Handling Rules. J. Log. Program., 37(1-3):95-138, 1998. Google Scholar
  12. Temur Kutsia. Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. RISC Report Series 02-09, RISC, University of Linz, 2002. PhD Thesis. Google Scholar
  13. Temur Kutsia and Mircea Marin. Matching with regular constraints. In Geoff Sutcliffe and Andrei Voronkov, editors, LPAR, volume 3835 of Lecture Notes in Computer Science, pages 215-229. Springer, 2005. Google Scholar
  14. John Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987. Google Scholar
  15. Mircea Marin and Temur Kutsia. Foundations of the rule-based system ρLog. Journal of Applied Non-Classical Logics, 16(1-2):151-168, 2006. Google Scholar
  16. Mark van den Brand, Arie van Deursen, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, and Joost Visser. The Asf+Sdf meta-environment: a component-based language development environment. Electr. Notes Theor. Comput. Sci., 44(2):3-8, 2001. Google Scholar
  17. Eelco Visser. Stratego: A language for program transformation based on rewriting strategies. In Aart Middeldorp, editor, Rewriting Techniques and Applications, 12th International Conference, RTA 2001, volume 2051 of Lecture Notes in Computer Science, pages 357-362. Springer, 2001. Google Scholar
  18. Jan Wielemaker, Tom Schrijvers, Markus Triska, and Torbjörn Lager. SWI-Prolog. Theory and Practice of Logic Programming, 12(1-2):67-96, 2012. Google Scholar