Journal of Logic Programming, Volume 8

Volume 8, Number 1 & 2, January/March 1990

• Leon Sterling: Guest Editor's Introduction. 1-3
• Peter B. Reintjes: AUNT: A Universal Netlist Translator. 5-19
• Leon Sterling, Yossi Nygate: PYTHON: An Expert Squeezer. 21-39
• Allen Van Gelder: Modeling Simultaneous Events with Default Reasoning and Tight Derivations. 41-52
• David B. Searls, Lewis M. Norton: Logic-Based Configuration with a Semantic Network. 53-73
• Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving Large Combinatorial Problems in Logic Programming. 75-93
• Michael M. Gorlick, Carl Kesselman, Daniel A. Marotta, Douglas Stott Parker Jr.: Mockingbird: A Logical Methodology for Testing. 95-119
• Nabiel A. Elshiewy: Logic Programming for Real-Time Control of Telecommunication Switching Systems. 121-144
• Kemal Ebcioglu: An Expert System for Harmonizing Chorales in the Style of J. S. Bach. 145-185

Volume 8, Number 3, May 1990

• Chan Kwok Hung: Equivalent Logic Programs. 187-199
• Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. 201-228
• Gerhard Jäger: Annotations on the Consistency of the Closed World Assumption. 229-247
• Jacques Chassin de Kergommeaux, Philippe Robert: An Abstract Machine to Implement OR-AND Parallel Prolog Efficiently. 249-264
• Maria Grazia Scutellà: A Note on Dowling and Gallier's Top-Down Algorithm for Propositional Horn Satisfiability. 265-273