5 ACKNOWLEDGMENTS 

I would like to thank the leadership of the FGCS project and all its members I have 
had the pleasure to meet and work with, for example, in several enjoyable workshops. 
In particular, I admire the works and monumental effort by Dr. Fuchi, Dr. Furukawa 
and Dr. Uchida to make this project such an outstanding success. 

NOTES: 

[1] Address: Computing Science Department, Uppsala University, 
    P.O. Box 520, S-751 20 Uppsala Sweden. 
    Phone: + 46 010 222 4002. 
    Fax: +46 18 521270. 
    Email: stenake@csd.uu.se. 

[2] R. Kowalski, Predicate Logic as Programming Language, Proc. IFIP-74, 
    Stockholm, North-Holland. Colmerauer, A., Kanoui, H., Pasero, R., & 
    Roussel. P., 1972, Un Systeme de Communication Homme-Machine en 
    Francais, Univ. d'Aix-Marseille, Luminy, Marseille. 

[3] J., A., Robinson, 1965, A Machine-oriented Logic Based on the 
    Resolution Principle, J. ACM, New York. 

[4] J., A., Robinson, The Role of Logic in Computer Science and 
    Artificial Intelligence, Proc., FGCS-92, Tokyo. 

[5] T., Moto-oka, (ed.,), Fifth Generation Computer Systems, JIPDEC: 
    North-Holland, 1982. 

[6] K., Fuchi., in T., Moto-oka, (ed.,), Fifth Generation Computer Systems, JIPDEC: 
    North-Holland, 1982. 

[7] Hilbert, D., Mathematical problems. Lecture delivered before the International 
    Congress of Mathematicians at Paris in 1900. Bull. Amer. Math. Soc., vol 8,
    1901-2. 

[8] Hillis, W.,D., The Connection Machine, MIT Press, Cambridge, 1985. 

[9] CM-5, iPSC/Delta, nCUBE etc., 

[10] Ueda, K., Guarded Horn Clauses, in Logic Programming 85, E., Weda (ed.), 
     Lecture Notes in Computer Science 221, Springer-Verlag, 1986. 

[11] Ueda, K., and Chikayama, T., Design of the Kernel Language for the Parallel 
     Inference Machine, The Computer Journal, Vol 33, No 6, 1990. 


					- 133 -