Journal of Logic Programming, Volume 11

Volume 11, Numbers 1&2, July 1991

Larry Wos, William McCune: Automated Theorem Proving and Logic Programming. 1-53 BibTeX
Laxmikant V. Kalé: The Reduce-Or Process Model for Parallel Execution of Logic Programs. 55-84 BibTeX , preliminary version: ICLP 1987: 616-632
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi: Comments on "Logic-Programming with Equations". 85-89 BibTeX , ->see JLP 4: 265-288 (1987)
Melvin Fitting: Bilattices and the Semantics of Logic Programming. 91-116 BibTeX
Malik Ghallab, Gonzalo Escalada-Imaz: A Linear Control Algorithm for a Class of Rule-Based Systems. 117-132 BibTeX
Evan Tick: Memory- and Buffer-Referencing Characteristics of a WAM-Based Prolog. 133-162 BibTeX
Philip W. Dart: On Derived Dependencies and Connected Databases. 163-188 BibTeX

Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach To Logic Programs. 189-216 BibTeX
John W. Lloyd, John C. Shepherdson: Partial Evaluation in Logic Programming. 217-242 BibTeX
Jonathan S. Ostroff: Constraint Logic Programming for Reasoning About Discrete Event Processes. 243-270 BibTeX
Matthew L. Ginsberg: Negative Subgoals with Free Variables. 271-293 BibTeX
Isaac Balbin, Graeme S. Port, Kotagiri Ramamohanarao, Krishnamurthy Meenakshi: Efficient Bottom-UP Computation of Queries on Stratified Databases. 295-344 BibTeX
Ouri Wolfson, Abraham Silberschatz: Decomposability and its Role in Parallel Logic Program Evaluation. 345-358 BibTeX
John C. Shepherdson: Correct Answers to Allowed Programs and Queries are Ground. 359-362 BibTeX