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

A. Bonner and M. Kifer.
An overview of transaction logic.
Theoretical Computer Science, 133:205-265, October 1994.

4

A. Bonner and M. Kifer.
A logic for programming database transactions.
In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117-166. Kluwer Academic Publishers, March 1998.

5

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

6

F. Bueno, D. Cabenza, M. Carro, M. Hermenegildo, P. López-García, and G. Puebla.
The ciao prolog system, reference manual.
Technical report, School of Computer Science, Technical University of Madrid.
Available from http://www.clip.dia.fi.upm.es/.

7

W. Chen, M. Kifer, and D. Warren.
HiLog: A foundation for higher-order logic programming.
Journal of Logic Programming, 15(3):187-230, February 1993.

8

B. Demoen.
Dynamic attributes, their hProlog implementation, and a first evaluation.
Report CW 350, Department of Computer Science, K.U.Leuven, Leuven, Belgium, oct 2002.
URL = http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW350.abs.html.

9

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

10

T. Fruehwirth.
Thom Fruehwirth's Constraint Handling Rules website.
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html.

11

T. Frühwirth.
Theory and Practice of Constraint Handling Rules.
In P. Stuckey and K. Marriot, editors, Special Issue on Constraint Logic Programming, volume 37, October 1998.

12

H. Guo, C. R. Ramakrishnan, and I. V. Ramakrishnan.
Speculative beats conservative justification.
In International Conference on Logic Programming, volume 2237 of Lecture Notes in Computer Science, pages 150-165. Springer, 2001.

13

M. Kifer, G. Lausen, and J. Wu.
Logical foundations of object-oriented and frame-based languages.
Journal of the ACM, 42:741-843, July 1995.

14

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

15

T. I. S. Laboratory.
SICStus Prolog User's Manual Version 3.7.1.
Swedish Institute of Computer Science, Oct. 1998.

16

A. McLeod.
A remark on algorithm AS 183.
Applied Statistics, 34:198-200, 1985.

17

I. Niemelä and P. Simons.
Smodels: An implementation of the stable model and well-founded semantics for normal LP.
In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning, volume 1265 of LNAI, pages 420-429, Berlin, July 28-31 1997. Springer.

18

B. Sanna-Starosta.
Chrd: A set-based solver for constraint hanlding rules, 2006.
available at www.cs.msu.edu/~bss/chr-d.

19

B. Sanna-Starosta and C. Ramakrishnan.
Compiling constraint handling rules for efficient tabled evaluation, 2006.
available at www.cs.msu.edu/~bss/chr-d.

20

P. Simons, I. Niemelä, and T. Soininen.
Extending and implementing the stable model semantics.
Artificial Intelligence, 138:181-234, 2002.

21

T. Swift.
Tabling for non-monotonic programming.
Annals of Mathematics and Artificial Intelligence, 25(3-4):201-240, 1999.

22

B. A. Wichmann and I. D. Hill.
Algorithm AS 183: An efficient and portable pseudo-random number generator.
Applied Statistics, 31:188-190, 1982.