See this document in CiteSeerX!

Tabled Logic Programs: Principles, Practice and Applications (1996)  (Make Corrections)  
C.R. Ramakrishnan, I.V. Ramakrishnan, Konstantinos Sagonas, Terrance Swift, David S. Warren



  Home/Search   Context   Related

 
View or download:
sunysb.edu/~tswift/we...jicslptut.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sunysb.edu/~tswift/tutorials (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Compilation (e.g., see [35, 53]) -- From a given source (concrete) program, obtain an abstract program. -- Concrete semantics of abstract program j abstract semantics of concrete program. -- Evaluate abstract program using some complete evaluation strategy. 34 Applications: Program Analysis Example: Groundness Analysis (from [25]) append([],Ys,Ys). append([X---Xs],Ys,[X---Zs]) :- append(Xs,Ys,Zs). + gappend(g,Y,Y). gappend(X1,Ys,Z1) :- iff(X1,X,Xs), iff(Z1,X,Zs),... (Update)

Active bibliography (related documents):   More   All
10.4:   Tabling for Logic-based Artificial Intelligence - Swift (1999)   (Correct)
1.7:   Scheduling Strategies for Evaluation of Recursive Queries over.. - Silva (1997)   (Correct)
1.4:   Tabling for Non-monotonic Programming - Swift (1999)   (Correct)

Similar documents based on text:   More   All
0.6:   The XSB Programmer's Manual Version 1.7.1 - Sagonas, Swift, Warren, Freire.. (1994)   (Correct)
0.6:   The XSB System Version 2.2 Volume 1: Programmer's Manual - Sagonas, Swift, Warren.. (2000)   (Correct)
0.5:   Efficient Access Mechanisms For Tabled Logic Programs - Ramakrishnan, Rao.. (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ ramakrishnan-tabled,
  author = "C.R. Ramakrishnan and I.V. Ramakrishnan and Konstantinos Sagonas and Terrance
    Swift and David S. Warren",
  title = "Tabled Logic Programs: Principles, Practice and Applications",
  url = "citeseer.ist.psu.edu/ramakrishnan96tabled.html" }
Citations (may not include all citations):
435   Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
204   the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
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
118   Unfounded sets and well-founded semantics for general logic .. (context) - van Gelder, Ross et al. - 1991
115   The alternating fixpoint of logic programs with negation (context) - van Gelder - 1989
112   XSB as an efficient deductive database engine - Sagonas, Swift et al. - 1994
106   Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
88   Every logic program has a natural stratification and an iter.. - Przymusinski - 1989
78   Parsing as deduction - Pereira, Warren - 1983
73   Modular stratification and magic sets for datalog programs w.. (context) - Ross - 1994
70   A logic programming system for non-monotonic reasoning - Alferes, Damasio et al. - 1995
66   Recursive query processing: The power of logic (context) - Vieille - 1989
62   Introduction to Algorithms: A Creative Approach (context) - Manber - 1989
59   ositional logic programs and a Magic wand (context) - Codish, Demoen et al. - 1993
57   Tabulated resolution for well-founded semantics - Bol, Degerstedt - 1993
52   Global flow analysis as a practical compilation tool - Hermenegildo, Warren et al. - 1992
50   Bottom-up beats top-down for datalog (context) - Ullman - 1989
50   The magic of duplicates and aggregates - Mumick, Pirahesh et al. - 1990
48   Efficient top-down computation of queries under the well-fou.. - Chen, Swift et al. - 1995
47   IEEE Transactions on Knowledge and Data Engineering (context) - Chimenti, Gamboa et al. - 1990
46   Query evaluation in recursive databases: Bottom-up and top-d.. (context) - Bry - 1990
44   Representing actions in extended logic programming (context) - Gelfond, Lifshitz - 1992
43   Propositional semantics for disjunctive logic programs (context) - Ben-Eliahu, Dechter - 1992
42   OLDT resolution with tabulation (context) - Tamaki, Sato - 1986
41   Aggregation and relevance in deductive databases - Sudarshan, Ramakrishnan - 1991
41   Glue-Nail: A deductive database system - Phipps, Derr et al. - 1991
40   Implementation of the CORAL Deductive Database System - Ramakrishnan, Srivastava et al. - 1993
40   Semantics of logic programs with aggregates - Kemp, Stuckey - 1991
39   Design and implementation of the Glue-Nail database system - Derr, Morishita et al. - 1993
38   An abstract machine for computing the well-founded semantics (context) - Sagonas, Swift et al. - 1996
38   Computation of stable models and its integration with logica.. - Chen, Warren - 1995
38   Practical program analysis using general purpose logic progr.. (context) - Dawson, Ramakrishnan et al. - 1996
38   Loop checking in partial deduction (context) - Bol - 1993
38   Weakly perfect model semantics for logic programs (context) - Przymusinska, Przymusinski - 1988
35   A survey of deductive database systems (context) - Ramakrishnan, Ullman - 1995
34   Controlling the search in bottom-up evaluation - Ramakrishnan, Srivastava et al. - 1992
33   Negation by default and unstratifiable logic programs (context) - Bidoit, Froidevaux - 1991
32   An efficient context-free parsing algorithm (context) - Earley - 1970
31   An abstract machine for SLG resolution: definite programs (context) - Swift, Warren - 1994
29   Negation as hypothesis: An abductive foundation for logic pr.. (context) - Dung - 1991
26   The Alexander method: a technique for the processing of recu.. (context) - Rohmer, Lescoeur et al. - 1986
25   Design overview of the Aditi deductive database system (context) - Vaghani, Ramamohanorao et al. - 1991
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
22   SLX a top-down derivation procedure for programs with explic.. (context) - Alferes, Damasio et al. - 1994
22   Magic conditions - Mumick, Finklestein et al. - 1990
21   Optimizing existential datalog queries (context) - Ramakrishnan, Beeri et al. - 1988
21   Argument reduction through factoring (context) - Naughton, Ramakrishnan et al. - 1989
21   Analysis of sequential SLG evaluation - Swift, Warren - 1994
21   Optimizations of bottom-up evaluation with non-ground terms (context) - Sudarshan, Ramakrishnan - 1993
20   Demand interprocedural program analysis using logic database.. - Reps - 1994
20   The generalized counting method for recursive logic queries - Sacca, Zaniolo - 1989
20   Well-founded ordered search (context) - Stuckey, Sudarshan - 1993
20   a short overview (context) - Vieille, Bayer et al. - 1990
19   Functional computations in logic programs - Debray, Warren - 1989
19   A blueprint for an abstract machine for the abstract interpr.. (context) - Janssens, Bruynooghie et al. - 1995
19   A query evaluation method for stratified programs under the .. (context) - Seki, Itoh - 1988
19   Compilation of set terms in the logic data language (context) - Shmueli, Tsur et al. - 1992
19   Reasoning with inconsistency in extended deductive databases (context) - Wagner - 1994
19   Modular acyclicity and tail recursion in logic programs (context) - Ross - 1991
19   The underlying search for magic templates and tabulation - Bol, Degerstedt - 1993
18   Optimizing Bottom-up Query Evaluation for Deductive Database.. (context) - Sudarshan - 1992
17   seriously: Resolution reconsidered for disk (context) - Freire, Swift et al. - 1995
16   left- and multi-linear rule transformations that maintain co.. (context) - Kemp, Ramamohanarao et al. - 1990
15   Shape analysis as a generalized path problem (context) - Reps - 1995
15   A portable method of integrating SLG resolution into Prolog .. (context) - Ramesh, Chen - 1994
14   the power of Alexandrer templates (context) - Seki - 1989
13   Logic Programming (context) - Beeri, Ramakrishnan et al. - 1991
12   Efficient table access mechanisms for logic programs (context) - Rao, Ramakrishnan et al. - 1995
12   Abstract interpretation: A kind of magic (context) - Nilsson - 1991
12   Abstract interpretation based on oldt resolution (context) - Kanamori, Kawamura - 1993
11   A proof procedure for extended logic programs - Teusink - 1993
11   Abstract interpretation based on alexander templates (context) - Kanamori - 1993
11   Extension Tables for Recursive Query Evaluation (context) - Dietrich - 1987
11   Is there anything better than magic (context) - Sagiv - 1990
11   LogicBase: A deductive database system prototype - Han, Liu et al. - 1994
10   Memoing for logic programs with applications to abstract int.. (context) - Warren - 1992
10   Top-down beats bottom-up for constraint extensions of datalo.. - Toman - 1995
9   Efficient Evaluation of Normal Logic Programs - Swift - 1994
9   ACM Transactions on Programming Languages and Systems (context) - Dawson, Ramakrishnan et al. - 1996
9   Magic Computation for Well-founded Semantics - Degerstedt, Nilsson - 1994
9   Extension table built-ins for prolog - Fan, Dietrich - 1992
8   The limits of fixed-order computation - Sagonas, Swift et al. - 1995
8   Magic sets transformations in non-recursive systems - Gupta, Mumick - 1992
8   Optimizing clause resolution: Beyond unification factoring - Dawson, Ramakrishnan et al. - 1995
8   Applications of Logic Databases (context) - Ramakrishnan - 1995
7   Some practical properties of logic programming interpreters (context) - Brough, Walker - 1984
7   Deductive databases with incomplete information - Dong, Lakshmanan - 1992
7   Dynamic programming optimization for logic queries with aggr.. (context) - Greco, Sacca et al. - 1993
7   Implementation of Magic-sets in a Relational Database System - Mumick, Pirahesh - 1994
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
6   Recursive aggregates in the eks-v1 system (context) - Lefebvre - 1991
5   Declarative Picture Description and Interpretation in Logic (context) - Gao - 1993
5   An Extension of Van Gelder's Alternating Fixpoint to Magic P.. (context) - Morishita - 1996
5   SLDMagic --- an improved magic set technique - Brass - 1996
5   An abstract machine for fixed-order stratified programs (context) - Sagonas, Swift et al. - 1996
5   A thread in time saves tabling time - Rao, Ramakrishnan et al. - 1996
5   Deductive database support for data visualization - Consens, Mendelzon et al. - 1994
5   Model-based diagnosis preferences and strategies representat.. (context) - Damasio, Nejdl et al. - 1995
4   Layer sharing: an improved structure-sharing framework (context) - de la - 1993
4   Lpda: Another look at tabulation in logic programming (context) - de la, Lang - 1994
4   Constructive negation of general logic programs (context) - Chen, Adams - 1994
4   Parallelizing tabled evaluation - Freire, Hu et al. - 1995
3   Query evaluation of alternating fixpoint logic (context) - Chen - 1994
2   Compilation and evaluation of linear mutual recursions (context) - Han - 1993
2   Tabulation of functions in logic programs (context) - Barklund - 1995
2   Extending the well-founded and valid semantics for aggregate.. (context) - Beeri, Ramakrishnan et al. - 1993
2   Efficient evaluation of multiple linear recursions (context) - Han, Liu - 1991
2   Investigations in Logic Language and Computation (context) - Aarts - 1995
2   Modelling diagnosis systems with logic programming (context) - Mor'a, Alferes - 1995
2   A portable implementation of memoing evaluation - Wunderwald - 1995
2   Model checking in the modal -calculus (context) - Smolka, Sokolsky et al. - 1994
2   The Syllog expert database system (context) - Walker - 1992
2   Implementation of subset logic progrms (context) - Jayaraman, Moon - 1994
2   Constraints and Negations in Logic Programs (context) - Jonker - 1994
1   Paraconsistency and Negation in Logic Programs (context) - Damasio - 1995

Documents on the same site (http://www.cs.sunysb.edu/~tswift/tutorials.html):
Tabling for Logic-based Artificial Intelligence - Swift (1999)   (Correct)
Using Tabling to Extend Prolog with Non-Monotonic Constructs - Swift   (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