The Branching-Time Transformation Technique for Chain Datalog Programs

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 languages. More specifically, we first introduce Branching Datalog, a lan...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of intelligent information systems Vol. 17; no. 1; pp. 71 - 94
Main Authors:	Rondogiannis, Panos, Gergatsoulis, Manolis
Format:	Journal Article
Language:	English
Published:	New York Springer Nature B.V 01.11.2001
Subjects:	Algorithms Informatics Logic programming Optimization techniques Programming languages Queries Semantics Studies Temporal logic
ISSN:	0925-9902, 1573-7675
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!