Konstantinos Sagonas, David S. Warren  Home/Search
Context Related
Links: DBLP | sunysb.edu/pub/XSB..._compilation.ps.gz sunysb.edu/pub/Tec..._compilation.ps.gz 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: sunysb.edu (more) From: sunysb.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we address the problem of efficiently implementing HiLog, a logic programming language with higher-order syntax and first-order semantics. In contrast to approaches proposed in the literature that modify, or abandon the WAM framework in order to implement HiLog, our approach to the problem stems from a belief that the WAM should be an adequate abstract machine for the execution of any logic language with first-order semantics. To show how to implement HiLog by staying within the... (Update)
Context of citations to this paper: More
...in XSB is support of HiLog programming. However due to space limitations HiLog is not discussed here, but is disscussed in detail in [3, 22]. XSB is available on different platforms: DOS, Microsoft Windows, Windows 95, Windows NT, PowerMacs running MkLinux, SUN 3...
...its limitations. iii) implementation of HiLog, a higher order database logic programming language developed at SUNY, Stony Brook [CKW89] [SW95] describes an efficient implementation of HiLog within the WAM(Warren Abstract Machine) and is based on using a first order...
Cited by: More
Implementing Federated Databases Systems by Compiling.. - Franois Barbanon Daniel (Correct)
The XSB Programmer's Manual Version 1.7.1 - Sagonas, Swift, Warren, Freire.. (1994) (Correct)
Efficient Evaluation of Normal Logic Programs - Swift (1994) (Correct)
Active bibliography (related documents): More All
0.1: Transformation of Logic Programs - Pettorossi, Proietti (1998) (Correct)
0.1: Contextual Specialization of Constraint Logic Programs - Fioravanti, Proietti (1999) (Correct)
0.1: Automatic Derivation of Logic Programs by Transformation - Pettorossi, Proietti (2000) (Correct)
Similar documents based on text: More All
0.6: Sorted HiLog: Sorts in Higher-Order Logic Data Languages - Chen, Kifer (1994) (Correct)
0.6: On Negation in HiLog - Ross (1994) (Correct)
0.5: XSB: A System for Efficiently Computing Well-Founded.. - Rao, Sagonas, Swift.. (1997) (Correct)
Related documents from co-citation: More All
7: HiLog: A Foundation for Higher-Order Logic Programming - Chen, Kifer et al. - 1989
4: Unification factoring for efficient execution of logic programs - Dawson, Ramakrishnan et al. - 1995
4: OLDT resolution with tabulation (context) - Tamaki, Sato - 1986
BibTeX entry: (Update)
K. Sagonas and D. S. Warren. Efficient execution of HiLog in WAM-based Prolog implementations. In Proceedings of the 12th International Conference on Logic Programming, pages 349--363, Japan, 1995. http://citeseer.ist.psu.edu/sagonas95efficient.html More
@inproceedings{ sagonas95efficient,
author = "Konstantinos F. Sagonas and David Scott Warren",
title = "Efficient Execution of HiLog in {WAM}-based Prolog Implementations",
booktitle = "International Conference on Logic Programming",
pages = "349-363",
year = "1995",
url = "citeseer.ist.psu.edu/sagonas95efficient.html" }
Citations (may not include all citations):395 An abstract Prolog instruction set (context) - Warren - 1983
224 Partial evaluation in logic programming (context) - Lloyd, Sheperdson - 1991 ACM DBLP
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992 ACM DBLP
166 An overview of Prolog (context) - Nadathur, Miller - 1988
139 fold transformation of logic programs (context) - Tamaki, Sato - 1984
112 XSB as an efficient deductive database engine - Sagonas, Swift et al. - 1994 ACM DBLP
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993 DBLP
39 Design and implementation of the Glue-Nail database system - Derr, Morishita et al. - 1993 ACM DBLP
37 A note on inductive generalisation (context) - Plotkin - 1970
31 Polymorphically typed logic programs - Yardeni, Fruhwirth et al. - 1992 DBLP
30 Some low-level source transformations for logic programs - Gallagher, Bruynooghe - 1990
29 Multiple specialization using minimal-function graph semanti.. (context) - Winsborough - 1992 ACM DBLP
27 Global compilation of Prolog (context) - Hickey, Mudambi - 1989 ACM DBLP
23 A simple code improvement scheme for Prolog - Debray - 1992 ACM DBLP
22 Relations with relation names as arguments: Algebra and calc.. (context) - Ross - 1992 DBLP
20 LLO: An object-oriented deductive language with methods and .. (context) - Lou, Ozsoyoglu - 1991 DBLP
19 The benefits of global dataflow analysis for an optimizing P.. (context) - Van Roy, Despain - 1990 ACM DBLP
18 Extracting determinacy in logic programs - Dawson, Ramakrishnan et al. - 1993 ACM DBLP
10 Toward the Partial Evaluation of CLP Languages (context) - Hickey, Smith - 1991 ACM DBLP
1 Extending the WAM to implement HiLog (context) - Paterson-Jones, Wood - 1993
1 An intensional logic (context) - Chen, Warren - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.sunysb.edu.html): More
A Summary of XSB Performance - Swift, Warren (1993) (Correct)
XSB: An Overview of its Use and Implementation - Sagonas, Swift, Warren (1993) (Correct)
Polymorphic Types in Higher-Order Logic Programming - Chen, Kifer (1993) (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