next up previous contents index
Next: Index Up: The XSB System Version Previous: Error messages   Contents   Index

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.



Baoqiu Cui
2000-04-23