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

Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer, Marc Herbstritt
2016 International Conference on Logic Programming  
PρLog extends Prolog by conditional transformations that are controlled by strategies. We give a brief overview of the tool and illustrate its capabilities.
doi:10.4230/oasics.iclp.2016.10 dblp:conf/iclp/DunduaKR16 fatcat:nxmcrrnstnafhlpemhwwyufdo4