Bibliography

1

Hassan Aït-Kaci.
Warren's Abstract Machine: A Tutorial Reconstruction.
MIT Press, 1991.

2

Ivan Bratko.
Prolog for Artificial Intelligence.
Addison-Wesley, 2000.

3

W.F. Clocksin and C.S. Mellish.
Programming in Prolog.
Springer-Verlag, 1994.

4

A. Colmerauer.
Equations and inequations on finite and infinite trees.
In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS-84), pages 85-99, Tokyo, Japan, 1984. ICOT.

5

Rina Dechter.
Constraint Processing.
Morgan Kaufmann Publishers, 2003.

6

Hai-Feng Guo and Gopal Gupta.
Simplifying dynamic programming via mode-directed tabling.
Softw., Pract. Exper., 38(1):75-94, 2008.

7

Kim Marriott and Peter J. Stuckey.
Programming with Constraints: an Introduction.
MIT Press, 1998.

8

Richard A. O'Keefe.
The Craft of Prolog.
MIT Press, Cambridge, MA, USA, 1994.

9

Tom Schrijvers, Neng-Fa Zhou, and Bart Demoen.
Translating constraint handling rules into action rules.
In Proceedings of the Third Workshop on Constraint Handling Rules, pages 141-155, 2006.

10

L. Sterling and E. Shapiro.
The Art of Prolog.
The MIT Press, 1997.

11

Hisao Tamaki and Taisuke Sato.
OLD resolution with tabulation.
In ICLP, pages 84-98, 1986.

12

E. Tsang.
Foundations of Constraint Satisfaction.
Academic Press, 1993.

13

Pascal van Hentenryck.
Constraint Satisfaction in Logic Programming.
MIT Press, 1989.

14

W J van Hoeve.
The alldifferent constraint: A survey.
Technical report, 2001.

15

D. S. Warren.
Memoing for logic programs.
Comm. of the ACM, Special Section on Logic Programming, 35:93-111, 1992.

16

Neng-Fa Zhou.
Parameter passing and control stack management in Prolog implementation revisited.
ACM Transactions on Programming Languages and Systems, 18(6):752-779, 1996.

17

Neng-Fa Zhou.
Programming finite-domain constraint propagators in action rules.
TPLP, 6(5):483-508, 2006.

18

Neng-Fa Zhou.
Encoding table constraints in CLP(FD) based on pair-wise AC.
In ICLP, pages 402-416, 2009.

19

Neng-Fa Zhou.
The language features and architecture of B-Prolog.
TPLP, Special Issue on Prolog Systems, 12(1-2):189-218, 2012.

20

Neng-Fa Zhou, Yoshitaka Kameya, and Taisuke Sato.
Mode-directed tabling for dynamic programming, machine learning, and constraint solving.
In ICTAI, pages 213-218, 2010.

21

Neng-Fa Zhou, Taisuke Sato, and Yi-Dong Shen.
Linear tabling strategies and optimizations.
TPLP, 8(1):81-109, 2008.

22

Neng-Fa Zhou, Mark Wallace, and Peter J. Stuckey.
The dom event and its use in implementing constraint propagators.
Technical report TR-2006013, CUNY Compute Science, 2006.