Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2016.10
URN: urn:nbn:de:0030-drops-67409
URL: https://drops.dagstuhl.de/opus/volltexte/2016/6740/
Dundua, Besik ; Kutsia, Temur ; Reisenberger-Hagmayer, Klaus
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems
| pdf-format: |
|
Abstract
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.
BibTeX - Entry
@InProceedings{dundua_et_al:OASIcs:2016:6740,
author = {Besik Dundua and Temur Kutsia and Klaus Reisenberger-Hagmayer},
title = {{P-rho-Log: Combining Logic Programming with Conditional Transformation Systems}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {10:1--10:5},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6740},
URN = {urn:nbn:de:0030-drops-67409},
doi = {10.4230/OASIcs.ICLP.2016.10},
annote = {Keywords: Conditional transformation rules, strategies, Prolog}
}
| Keywords: | Conditional transformation rules, strategies, Prolog | |
| Seminar: | Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) | |
| Issue date: | 2016 | |
| Date of publication: | 11.11.2016 |
