THEORETICAL COMPUTER SCIENCE Logic, semantics and theory of programming Selected Papers of the Fifth Generation Computer Systems Conference, Tokyo, Japan, June 1-5, 1992 Guest Editors: S. Goto and K. Satoh VOLUME 122, NUMBERS 1-2, 3 JANUARY 1994 Abstracted/Indexed in: ACM Computing Reviews, Compuscience, Computer Abstracts, Current Contents: Engineering, Technology & Applied Science, Engineering Index/Com- pendex, INSPEC Information Services, Mathematical Reviews, Zentralblatt fur Mathematik CONTENTS S. Goto and K. Satoh Preface to the Special Issue of Selected Papers of the Fifth Generation Computer Systems Conference, Tokyo, June 1-5, 1992 A. Bossi, M. Gabrielli, G. Levi and M.C. Meo A compositional semantics for logic programs L.M. Pereira, J.J. Alferes and J.N. Aparicio Adding closed world assumptions to well-founded semantics T. Kawamura Logic program synthesis from first-order logic specifications B. Martens, D. De Schreye and T. Horvath Sound and complete partial deduction with unfolding based on well-founded measures M. Tatsuta Realizability interpretation of coinductive definitions and program synthesis with streams Y. Takayama Defining concurrent processes constructively A. Corradini, U. Montanari and F. Rossi An abstract machine for concurrent modular systems: CHARM V. Poirriez MLOG: a strongly typed confluent functional language with logical variables M. Denecker and D. De Schreye On the duality of abduction and model generation in a framework for model generation with equality H. Ait- Kaci, A. Podelski and G. Smolka A feature constraint system for logic programming with entailment Contents EATCS Bulletin 51, October 1993 Author Index Volume 122