Vassilis Kountouriotis, Panos Rondogiannis, William W. Wadge  Home/Search
Context
Related
| di.uoa.gr/~prondo/papers/lpar05.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cgi.di.uoa.gr/~pron...conferences (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a higher-order extension of Datalog based on the Horn fragment of higher-order logic introduced in [Wad91]. Programs of Higher-Order Datalog can be understood declaratively as formulas in extensional higher-order logic, in which (for example) a unary predicate of unary predicates is a set of sets of data objects. The language retains all the basic principles of first-order logic programming. In particular, programs in this extended Datalog always have a minimum Herbrand model... (Update)
Active bibliography (related documents): More All
0.2: Extensionality of Simply Typed Logic Programs - Bezem (1999) (Correct)
0.2: Higher-Order Logic Programming - Nadathur, Miller (1986) (Correct)
0.2: Higher-Order, Linear, Concurrent Constraint Programming - Saraswat, Lincoln (1992) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ kountouriotis-extensional,
author = "Vassilis Kountouriotis and Panos Rondogiannis and William W. Wadge",
title = "Extensional Higher-Order Datalog",
url = "citeseer.ist.psu.edu/745311.html" }
Citations (may not include all citations):101 HILOG: A Foundation for HigherOrder Logic Programming - Chen, Kifer et al. - 1993
101 Higher-Order Logic Programming - Nadathur, Miller - 1998
5 Higher-Order Horn Logic Programming (context) - Wadge - 1991 DBLP
1 Extensionality of Simply Typed Logic Programs - Bezem - 1999
Documents on the same site (http://cgi.di.uoa.gr/~prondo/conferences.html):
An Infinite-Valued Semantics for Logic Programs with Negation - Rondogiannis, Wadge (Correct)
Multidimensional XML (Extended Abstract) - Stavrakas, Gergatsoulis.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC