Strategies in PRholog

Details Strategies in PRholog Strategies in PRholog

2010-01-25

arxiv.org/abs/1001.4434v1

EPTCS 15, 2010, pp. 32-43

Computer Science

Programming Languages

Scientific paper

10.4204/EPTCS.15.3

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 provides 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.

Affiliated with

Also associated with

No associations

Rating

Strategies in PRholog does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Strategies in PRholog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Strategies in PRholog will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-131056