#### Filter Results:

- Full text PDF available (100)

#### Publication Year

1973

2017

- This year (1)
- Last 5 years (6)
- Last 10 years (22)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Konstantinos Sagonas, Theresa Swift, David Scott Warren
- SIGMOD Conference
- 1994

This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have serious deficiencies when used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced through tabling (or memoing)[4], which makes it appropriate as… (More)

- Weidong Chen, Michael Kifer, David Scott Warren
- J. Log. Program.
- 1993

D We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic. HiLog has a higher-order syntax and allows arbitrary terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus. But its semantics is first-order and admits a… (More)

- Theresa Swift, David Scott Warren
- TPLP
- 2012

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However the overriding reasons are practical. TLP allows… (More)

This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have serious deeciencies when used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced through tabling (or memoing) 5], which makes it appropriate as… (More)

- I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Theresa Swift, David Scott Warren
- J. Log. Program.
- 1999

The use of tabling in logic programming allows bottom-up evaluation to be incorporated in a top-down framework, combining advantages of both. At the engine level, tabling also introduces issues not present in pure top-down evaluation, due to the need for subgoais and answers to access tables during resolution. This article describes the design,… (More)

- Weidong Chen, Theresa Swift, David Scott Warren
- J. Log. Program.
- 1995

The well-founded model provides a natural and robust semantics for logic programs with negative literals in the bodies of rules. Although various procedural semantics have been proposed for query evaluation under the well-founded semantics, the practical issues of implementation for eeective and eecient computation of queries have been rarely discussed.… (More)

- Sanjay Manchanda, David Scott Warren
- Foundations of Deductive Databases and Logic…
- 1988

We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular, we present XMC, an XSBbased local model checker for a CCS-like value-passing language and the alternation-free fragment of the modal mu-calculus. XMC is written in under 200… (More)

- James Clifford, David Scott Warren
- ACM Trans. Database Syst.
- 1981

The concept of a historical database is introduced as a tool for modeling the dynamic nature of some part of the real world. Just as first-order logic has been shown to be a useful formalism for expressing and understanding the underlying semantics of the relational database model, intensional logic is presented as an analogous formalism for expressing and… (More)