Journal of Logic Programming, Volume 38

Volume 38, Numbers 1, January 1999

• Peter A. Bigot, Saumya K. Debray: Return Value Placement and Tail Call Optimization in High Level Languages. 1-29
• I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Access Mechanisms for Tabled Logic Programs. 31-54
• Bharat Jayaraman, Jana Devashis: Set Constructors, Finite Sets, and Logical Semantics. 55-77

• David Pearce: Stable Inference as Intuitionistic Validity. 79-91
• Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in CLP(FD). 93-110

Volume 38, Number 2, February 1999

• Iliano Cervesato, Angelo Montanari: A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. 111-164
• Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. 165-218
• Pawel Cholewinski, Miroslaw Truszczynski: Extremal Problems in Logic Programming and Stable Model Computation. 219-242
• Sandro Etalle, Annalisa Bossi, Nicoletta Cocco: Termination of Well-Moded Programs. 243-257

Volume 38, Number 3, March 1999

• Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: Steadfast Logic Programs. 259-294
• Julie Yu-Chih Liu, Leroy Adams, Weidong Chen: Constructive Negation Under the Well-Founded Semantics. 295-330
• Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort: LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. 331-353
• Michael Codish: Efficient Goal Directed Bottom-Up Evaluation of Logic Programs. 355-370
• Agostino Cortesi, Gilberto Filé: Sharing is Optimal. 371-386