info@viam.science.tsu.ge (+995 32) 2 30 30 40 (+995 32) 2 18 66 45

Second Order Programming with Transformational Rules with Sequence Variables (YS09 2 1-120)


Funded by

SRNSFGShota Rustaveli National Science Foundation of Georgia

Start Date: 2010-01-01       End Date: 2010-12-31

We described P$\rho$Log, a system for conditional rule-based transformation of sequences with strategies. It is built on top of Prolog and supports programming with individual, sequence,
function, and context variables. The inference mechanism is based on Prolog's. The programs may contain Prolog clauses and predicates alongside the clauses specific to P$\rho$Log. We described the operational semantics and the strategy language of this system, and illustrated its applications on two use cases: XML processing and Web reasoning, and implementation
of rewriting strategies. The P$\rho$Log code is usually compact and declaratively clear. The users familiar with logic programming and Prolog can very quickly start using it since its syntax is similar to that of Prolog and the semantics is based on logic programming.

Project members: