Bibliography

1

J. Alferes, C. Damasio, and L. Pereira.
A logic programming system for non-monotonic reasoning.
Journal of Automated Reasoning, 1995.

2

J. Alferes and L. M. Pereira.
Reasoning with Logic Programming, volume 1111.
Springer-Verlag LNAI, 1996.

3

P. Brisset, et al.
ECL$^i$PS$^e$ 4.0 User Manual.
IC-Parc at Imperial College, London, July 1998.

4

Christoph Draxler.
Prolog to SQL compiler, Version 1.0.
Technical report, CIS Centre for Information and Speech Processing Ludwig-Maximilians-University, Munich, 1992.

5

M. Kifer and V.S. Subrahmanian.
Theory of generalized annotated logic programming and its applications.
J. Logic Programming, 12(4):335-368, 1992.

6

The Intelligent Systems Laboratory.
SICStus Prolog User's Manual Version 3.7.1.
Swedish Institute of Computer Science, October 1998.

7

T. Swift.
Tabling for non-monotonic programming.
Annals of Mathematics and Artificial Intelligence, 1999.
To Appear. Available at http://cs.sunysb.edu/ tswift.