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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of intelligent information systems Jg. 17; H. 1; S. 71 - 94
Hauptverfasser:	Rondogiannis, Panos, Gergatsoulis, Manolis
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer Nature B.V 01.11.2001
Schlagworte:	Algorithms Informatics Logic programming Optimization techniques Programming languages Queries Semantics Studies Temporal logic
ISSN:	0925-9902, 1573-7675
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!