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

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of intelligent information systems Ročník 17; číslo 1; s. 71 - 94
Hlavní autoři:	Rondogiannis, Panos, Gergatsoulis, Manolis
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer Nature B.V 01.11.2001
Témata:	Algorithms Informatics Logic programming Optimization techniques Programming languages Queries Semantics Studies Temporal logic
ISSN:	0925-9902, 1573-7675
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!