Search
Now showing items 1-2 of 2
The branching-time transformation technique for Chain Datalog programs
(2001)
The branching-time transformation technique has proven to be an efficient approach for implementing functional programming languages. In this paper we demonstrate that such a technique can also be defined for logic programming ...
A transformation technique for datalog programs based on non-deterministic constructs
(2001)
Recently, a novel transformation technique for Datalog programs, called the branching-time transformation, was introduced by the authors. In this paper we propose a significant extension of the branching-time transformation ...