Journal of Logic Programming, Volume 8

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

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

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