References

1

A. Borning and R. Duisberg: Constraint-Based Tools for Building User Interfaces, ACM Transactions on Graphics, Vol.5, No.4, pp.345-374, 1996.

2

B. Dumant and H. Ait-Kaci: An Object-Oriented Constraint-Logic Programming Implementation of a Toolkit for Graphical User Interfaces,Tech. Rep., ISG-RR-1995-1, Simon Fraser University.

3

H. Ohwada and F. Mizoguchi: A Constraint Logic Programming Approach for Maintaining Consistency in User Interface Design, Proc. North America Conference on Logic Programming, pp.139-153, 1990.

4

J.A. Konstan and A.Safonov: TclProp and FATCAT: Tools for Declarative Programming in Tcl, A Tutorial for the Fifth Annual Tck/Tk Workshop, 1997.

5

A.B.A. Myers: History of Human Computer Interaction Technology, Tech. Rep. CMU-CS-96-163, Carnegie Mellon University, 1996.

6

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