1. Prospects for New Generation Computing

   • Koichi Furukawa

   Preface Pages: 105 - 106

2. On the autoepistemic reconstruction of logic programming

   • Y. J. Jiang

   Regular Papers Pages: 107 - 124

3. Difference-list transformation for Prolog

   • Kim Marriott
   • Harald Søndergaard

   Regular Papers Pages: 125 - 157

4. Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations

   • Toyoaki Nishida
   • Kenji Mizutani
   • Shuji Doshita

   Regular Papers Pages: 159 - 177

5. Relating the implementation techniques of functional and functional logic languages

   • Rita Loogen

   Regular Papers Pages: 179 - 215

6. Outline of the FGCS follow-on project

   • Shunichi Uchida
   • Ryuzo Hasegawa
   • Akira Aiba

   News Pages: 217 - 222

7. Announcement

   Announcement Pages: 223 - 223