Journal of Logic Programming, Volume 39

Volume 39, Numbers 1-3, April 1999

• Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Prolog Programs. 3-42
• Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. 43-93
• Elena Marchiori, Frank Teusink: Termination of Logic Programs with Delay Declarations. 95-124
• Dino Pedreschi, Salvatore Ruggieri: Verification of Logic Programs. 125-176
• Mireille Ducassé: Opium: An Extendable Trace Analyzer for Prolog. 177-223
• Sandro Etalle, Maurizio Gabbrielli: Layered Modes. 225-244