References

1

K. Arnold and J. Gosling: The Java Programming Language, Second Edition, Addison-Wesley, 1998.

2

K.R. Apt and A. Schaerf: Search and Imperative Programming, Proc. of 24th ACM SIGPLAN-SIGACT Symposium on Programming Languages (POPL '97), pp. 67-79.

3

A. Borning, R. Lin, and K. Marriott: ``Constraints and the Web'', Proceedings of the ACM Multimedia Conference, pp.173-182, 1997.

4

J. Cohen: Constraint Logic Programming Languages, Communications of ACM, Vol.33, No.7, pp.52-68.

5

J. Jaffar & M.J. Maher: Constraint Logic Programming: A Survey, J. Logic Programming, Vols.19/20, pp.503-582, 1994.

6

W. Leler: Constraint Programming Languages, Their Specification and Generation, Addison-Wesley Pub., 1988.

7

P.V. Hentenryck: The OPL Optimization Programming Language, The MIT Press, 1999.

8

N.F. Zhou: B-Prolog Users Manual, Version 3.1, Kyushu Institute of Technology, 1998, http://www.cad.mse.kyutech.ac.jp /people/zhou/bprolog.html.

9

N.F. Zhou: DJ Users Manual, Version 0.5, Kyushu Institute of Technology, 1999, http://www.cad.mse.kyutech.ac.jp /people/zhou/dj.html.

10

N.F. Zhou: "A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints", Proc. Joint International Conference and Symposium on Logic Programming, pp.70-84, MIT Press, 1998.