Tabled Logic Programs: Principles, Practice and Applications

Keywords

Computer science, Programming language

References

• A Thread in Time Saves Tabling TimePrasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan — 1996
• Optimizing Clause Resolution: Beyond Unification FactoringSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan — 1995
• Is There Anything Better than Magic?Yehoshua Sagiv — 1990
• An Abstract Machine for SLG Resolution: Definite ProgramsTerrance Swift, David S. Warren — 1994
• An Abstract Machine for Computing the Well-Founded SemanticsKonstantinos Sagonas, Terrance Swift, David S. Warren — 1996
• Top-Down beats Bottom-Up for Constraint Based Extensions of DatalogDavid Toman — 1995
• SLX - A Top-down Derivation Procedure for Programs with Explicit NegationJosé Júlio Alferes, Carlos Viegas Damásio, Luı́s Moniz Pereira — 1994
• A Query Evaluation Method for Stratified Programs Under the Extended CWAHirohisa Seki, Hidenori Itoh — 1988
• Extending the Well-Founded and Valid Semantics for AggregationS. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan — 1993
• Negations as Hypotheses: An Abductive Foundation for Logic ProgrammingPhan Minh Dũng — 1991
• Semantics of Logic Programs with AggregatesDavid B. Kemp, Peter J. Stuckey — 1991
• Some Practical Properties of Logic Programming InterpretersD. Brough, Adrian Walker — 1984
• Representing Actions in Extended Logic ProgrammingMichael Gelfond, Vladimir Lifschitz — 1992
• Deductive Databases with Incomplete InformationFangqing Dong, Laks V. S. Lakshmanan — 1992
• Model-based diagnosis preferences and strategies representation with logic meta-programmingCarlos Viegas Damásio, Wolfgang Nejdl, Luı́s Moniz Pereira — 1995
• Dynamic Programming Optimization for Logic Queries with AggregatesSergio Greco, Domenico Saccà, Carlo Zaniolo — 1993
• Controlling the Search in Bottom-Up EvaluationRaghu Ramakrishnan, Divesh Srivastava, S. Sudarshan — 1992
• Completeness of a Top-Down Query Evaluation Procedure for Stratified DatabasesDavid B. Kemp, Rodney Topor — 1988
• Efficient evaluation of normal logic programsTerrance Swift — 1994
• Weakly Perfect Model Semantics for Logic ProgramsHalina Przymusinska, Teodor C. Przymusiński — 1988

Cited by

No citing papers recorded for this paper.

Related papers

• Principles, practice, and applications of tabled logic programmingTerrance Swift — 2000
• Eqivalences of Logic ProgramsMichael J. Maher — 1986
• Sharing Analysis for Logic Programs using Set Logic ProgramsMichael Codish, Vitaly Lagoon, Francisco Bueno — 1996
• Set-based analysis of logic programs and reactive logic programs (tutorial)Andreas Podelski — 1997
• Types for Logic ProgramsUday S. Reddy — 1990
• Tabled logic programming for verification and program analysisC. R. Ramakrishnan — 2000