The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, sh

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in u

Parallel Language and Compiler Research in Japan offers the international community an opportunity to learn in-depth about key Japanese research efforts in the

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'