Journal of Logic Programming, Volume 36

Volume 36, Number 1, July 1998

• Lunjin Lu: Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. 1-54
• Michael Meskes: Subsumption-Stratified Datalog. 55-90

Volume 36, Number 2, August 1998

• Laura Giordano, Nicola Olivetti: Combining Negation as Failure and Embedded Implications in Logic Programs. 91-147
• Michael Leuschel, Danny De Schreye: Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. 149-193

Volume 36, Number 3, September 1998

• Seng Wai Loke, Andrew Davison: LogicWeb: Enhancing the Web with Logic Programming. 195-240
• Robert F. Stärk: The Theoretical Foundations of LPTP (A Logic Program Theorem Prover). 241-269
• Mengchi Liu: Relationlog: A Typed Extension to Datalog with Sets and Tuples. 271-299