Strategies in PρLog
Besik Dundua, Temur Kutsia, Mircea Marin · 2010
PρLog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with ρLog calculus. The rules perform nondeterministic transformations on hedges. Strategies provide a control on rule applications in a declarative way. In this short paper we give an overview on programming with strategies in PρLog and demonstrate how rewriting strategies can be expressed. 1