1. Knowledge Science

   • Setsuo Ohsuga

   Leading Article Pages: 1 - 5

2. Mixtus: An automatic partial evaluator for full Prolog

   • Dan Sahlin

   Regular Papers Pages: 7 - 51

3. Rendez-vous with metric semantics

   • J. W. de Bakker
   • E. P. de Vink

   Regular Papers Pages: 53 - 90

4. Well-founded semantics and stratification for ordered logic programs

   • N. Leone
   • G. Rossi

   Regular Papers Pages: 91 - 121

5. KLIC: A KL1 implementation for Unix systems

   • Takashi Chikayama

   News Pages: 123 - 124