We study anti-unification for unranked terms and hedges that may contain term and hedge
variables. The anti-unification problem of two hedges ̃s_1 and ̃s_2 is concerned with finding …

This paper describes P ρ Log: a tool that combines Prolog with the ρ Log calculus. Such a
combination brings strategy-controlled conditional transformation rules into logic …

We describe the foundations of a system for rule-based programming which integrates two
powerful mechanisms:(1) matching with context variables, sequence variables, and regular …

PRholog is an experimental extension of logic programming with strategic conditional
transformation rules, combining Prolog with Rholog calculus. The rules perform …

A Rule-Based Approach to XML Processing and Web Reasoning Page 1 A Rule-Based
Approach to XML Processing and Web Reasoning ⋆ Jorge Coelho1, Besik Dundua2, Mário …

Observing is the process of obtaining new knowledge, expressed in language, by bringing
the senses in contact with reality. Reasoning, in contrast, is the process of obtaining new …

Sequence variables play an interesting role in unification and matching when dealing with
terms in an unranked signature. Sequence Unification generalizes Word Unification and …

CLP (H) is an instantiation of the general constraint logic programming scheme with the
constraint domain of hedges. Hedges are finite sequences of unranked terms, built over …

Both Sequence and Context Unification generalize the same problem: Word Unification.
Besides that, Sequence Unification solves equations between unranked terms involving …

In this thesis we study integration of sequence and context variables into declarative
programming. These variables are useful in various areas of computer science. Sequence …