Strategies in PRholog

Besik Dundua, Temur Kutsia, Mircea Marin
2010 Electronic Proceedings in Theoretical Computer Science  
PRholog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with Rholog calculus. The rules perform nondeterministic transformations on hedges. Queries may have several results that can be explored on backtracking. Strategies provide a control on rule applications in a declarative way. With strategy combinators, the user can construct more complex strategies from simpler ones. Matching with four different kinds of variables
more » ... a flexible mechanism of selecting (sub)terms during execution. We give an overview on programming with strategies in PRholog and demonstrate how rewriting strategies can be expressed.
doi:10.4204/eptcs.15.3 fatcat:oeqh7gnoybaxrb7ol34j7lnhfe