| Alternate document: Details XSB as an Efficient Deductive Database Engine (94) Konstantinos Sagonas, Terrance Swift, David S. Warren |
Konstantinos F. Sagonas, Terrance Swift, David S. Warren, Juliana Freire, Prasad Rao  Home/Search
Context Related
| wm.edu/psdocs/xsbmanual.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: wm.edu/psdocs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine (WAM) which serves as the engine of Prolog was redesigned to allow tabling. (The new engine is called the SLGWAM) . While most WAM instructions were affected by the redesign, SLG-WAM execution is only 10-20% slower than a WAM execution on a similar engine. Beyond the comparison with Prolog, our implementation strategy has several implications which may affect the user. First, XSB's evaluation is top-down, and solutions are derived a tuple at a time. This characterization allows it to... (Update)
Context of citations to this paper: More
...extensions like explicit negation becomes available to programmers solving practical problems. It has been the purpose of the XSB system [49] to explore the addition of tabling to a Prolog system. At a language level, XSB maintains full support for Prolog while including tabling...
.... e.g. 22, 6, 4] E#cient systems based on tabulation (and similar techniques) exist for logic programming, most notably XSB [18]. There are frameworks for extending tabulation also to constraints [21] but general and e#cient implementations are not yet available....
Cited by: More
CHR for XSB - Schrijvers, Warren, Demoen (2003) (Correct)
Refactoring Prolog Programs - Schrijvers, Serebrenik, Demoen (2001) (Correct)
Ai Miei Genitori Ii - Acknowledgements First Would (Correct)
Similar documents (at the sentence level):
33.0%: The XSB System Version 2.2 Volume 1: Programmer's Manual - Sagonas, Swift, Warren.. (2000) (Correct)
12.3%: The XSB System Version 2.1 Volume 2: Libraries and Interfaces - April Credits Interfaces (Correct)
6.4%: XSB: A System for Efficiently Computing Well-Founded.. - Rao, Sagonas, Swift.. (1997) (Correct)
Active bibliography (related documents): More All
1.3: Tabled Logic Programs: Principles, Practice and.. - Ramakrishnan.. (1996) (Correct)
0.9: Scheduling Strategies for Evaluation of Recursive Queries over.. - Silva (1997) (Correct)
0.6: Tabling for Logic-based Artificial Intelligence - Swift (1999) (Correct)
Similar documents based on text: More All
0.7: Efficient Tabling Mechanisms for Logic Programs - Ramakrishnan, Rao, Sagonas.. (1995) (Correct)
0.7: Taking I/O Seriously: Resolution Reconsidered for Disk - Freire, Swift, Warren (Correct)
0.7: Efficient Access Mechanisms For Tabled Logic Programs - Ramakrishnan, Rao.. (1999) (Correct)
Related documents from co-citation: More All
4: Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
4: The Stable Model Semantics for Logic Programming - Gelfond - 1988
3: Non-Monotonic Learning - Bain, Muggleton - 1992
BibTeX entry: (Update)
K.F. Sagonas, T. Swift, D.S. Warren, S. Dawson, and P. Rao. -- The XSB Programmer's Manual Version 1.4.0. -- SUNY at Stony Brook, May 1994. http://citeseer.ist.psu.edu/sagonas94xsb.html More
@inproceedings{ sagonas94xsb,
author = "Konstantinos Sagonas and Terrance Swift and David S. Warren",
title = "{XSB} as an efficient deductive database engine",
pages = "442--453",
year = "1994",
url = "citeseer.ist.psu.edu/sagonas94xsb.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifshitz - 1988
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
363 Programming in Prolog (context) - Clocksin, Mellish - 1984
204 Magic sets and other strange ways to implement logic program.. (context) - Banchilhon, Maier et al. - 1986
142 Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
127 Prolog Programming for Artificial Intelligence (context) - Bratko - 1986
112 XSB as an efficient deductive database engine - Sagonas, Swift et al. - 1994
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993
88 Every logic program has a natural stratification and an iter.. - Przymusinski - 1989
66 Recursive query processing: The power of logic (context) - Vieille - 1989
48 Efficient top-down computation of queries under the well-fou.. - Chen, Swift et al. - 1995
42 OLDT resolution with tabulation (context) - Tamaki, Sato - 1986
38 Practical program analysis using general purpose logic progr.. (context) - Dawson, Ramakrishnan et al. - 1996
38 Unfounded sets and well-founded semantics for general logic .. (context) - van Gelder, Ross et al. - 1991
38 An abstract machine for computing the well-founded semantics (context) - Sagonas, Swift et al. - 1996
34 International Standards Organization (context) - group, SC et al. - 1995
27 Computing with Logic: Logic Programming with Prolog (context) - Maier, Warren - 1988
27 Efficient implementation of a defensible semantics for dynam.. (context) - Lindholm, O'Keefe - 1987
23 Beyond depth-first: Improving tabled logic programs through .. - Freire, Swift et al. - 1996
22 Completeness of a top-down query evaluation procedure for st.. (context) - Kemp, Topor - 1988
21 Analysis of sequential SLG evaluation - Swift, Warren - 1994
20 Unification factoring for efficient execution of logic progr.. - Dawson, Ramakrishnan et al. - 1995
15 Programming the PTQ grammar in XSB (context) - Warren - 1995
14 the power of Alexandrer templates (context) - Seki - 1989
14 The Semantics of Deductive Databases (context) - Ross - 1991
13 Logic Programming (context) - Beeri, Ramakrishnan et al. - 1991
12 Efficient table access mechanisms for logic programs (context) - Rao, Ramakrishnan et al. - 1995
11 Extension Tables for Recursive Query Evaluation (context) - Dietrich - 1987
9 Efficient Evaluation of Normal Logic Programs - Swift - 1994
8 The limits of fixed-order computation - Sagonas, Swift et al. - 1995
7 Efficient execution of HiLog in WAM-based Prolog implementat.. - Sagonas, Warren - 1995
7 SB-Prolog System (context) - Debray - 1988
6 The SLG-WAM: A Search-Efficient Engine for Well-Founded Eval.. (context) - Sagonas - 1996
6 An amateur's introduction to recursive query processing stra.. (context) - Banchilhon, Ramakrishnan - 1986
5 An abstract machine for fixed-order stratified programs (context) - Sagonas, Swift et al. - 1996
4 The PSB-Prolog User Manual (context) - Xu - 1990
3 Prolog to sql compiler (context) - Draxler - 1992
2 Xsb as a general purpose program analyzer (context) - Codish, Demoen et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wm.edu/psdocs.html):
User's Guide for mpich, a Portable Implementation of MPI - Lusk (1996) (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