4. ICLP 1987: Melbourne, Victoria

Jean-Louis Lassez (Ed.): Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987. MIT Press 1987, ISBN 0-262-12125-5 (2 Volumes)

Warren Abstract Machine

Jeff Gee, Stephen W. Melvin, Yale N. Patt: Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer. 1-20 BibTeX
Timothy G. Lindholm, Richard A. O'Keefe: Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. 21-39 BibTeX
Mats Carlsson: Freeze, Indexing, and Other Implementation Issues in the WAM. 40-58 BibTeX
Hans Mulder, Evan Tick: A Performance Comparison between PLM and a M68020 PROLOG Processor. 59-73 BibTeX

Databases

Laurent Vieille: A Database-Complete Proof Procedure Based on SLD-Resolution. 74-103 BibTeX
Domenico Saccà, Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. 104-135 BibTeX
Catherine Lassez, Ken McAloon, Graeme S. Port: Stratification and Knowledge Based Management. 136-151 BibTeX
Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. 152-177 BibTeX
Lee Naish, James A. Thom, Kotagiri Ramamohanarao: Concurrent Database Updates in PROLOG. 178-195 BibTeX

Constraints

Joxan Jaffar, Spiro Michaylov: Methodology and Implementation of a CLP System. 196-218 BibTeX
Kenneth Kunen: Answer Sets and Negation-as-Failure. 219-228 BibTeX
Pascal Van Hentenryck, Mehmet Dincbas: Forward Checking in Logic Programming. 229-256 BibTeX

Parallelism I

M. Ichiyoshi, T. Miyazaki, Kazuo Taki: A Distributed Implementation of Flat GHC on the Multi-PSI. 257-275 BibTeX
Takashi Chikayama, Yasunori Kimura: Multiple Reference Management in Flat GHC. 276-293 BibTeX
Melissa Lam, Steve Gregory: PARLOG and ALICE : A Marriage of Convenience. 294-310 BibTeX
Ehud Y. Shapiro: An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. 311-337 BibTeX
Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto: KL1 Execution Model for PIM Cluster with Shared Memory. 338-355 BibTeX

Implementation Issues

Kazunori Ueda: Making Exhaustive Search Programs Deterministic, Part II. 356-375 BibTeX
Hisao Tamaki: Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages. 376-393 BibTeX
Hamid Bacha: Meta-Level Programming: A Compiled Approach. 394-410 BibTeX
Jonas Barklund, Håkan Millroth: Hash Tables in Logic Programming. 411-427 BibTeX
Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello: Evaluating Logic Programs via Set-Valued Functions. 428-455 BibTeX

Language Issues

Donald W. Loveland: Near-Horn PROLOG. 456-469 BibTeX
Akihiro Yamamoto: A Theoretical Combination of SLD-Resolution and Narrowing. 470-487 BibTeX
Richard Helm: Inductive and Deductive Control of Logic Programs. 488-512 BibTeX
Kemal Ebcioglu: An Efficient Logic Programming Language and Its Application to Music. 513-532 BibTeX
Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose: Symbolical Construction of Truth Value Domain for Logic Program. 533-555 BibTeX

Parallelism II

Manuel V. Hermenegildo: Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. 556-575 BibTeX
Terry Disz, Ewing L. Lusk, Ross A. Overbeek: Experiments with OR-Parallel Logic Programs. 576-600 BibTeX
Peter Tinker, Gary Lindstrom: A Performance-Oriented Design for OR-Parallel Logic Programming. 601-615 BibTeX
Laxmikant V. Kalé: The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. 616-632 BibTeX , long version: JLP 11: 55-84 (1991)
John S. Conery: Implementing Backward Execution in Non-Deterministic AND-Parallel Systems. 633-653 BibTeX

Applications

Leon Sterling, Yossi Nygate: PYTHON: An Expert Squeezer. 654-674 BibTeX
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. 675-703 BibTeX
Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy: Logical Secrets. 704-728 BibTeX

Program Analysis

Richard A. O'Keefe: Finite Fixed-Point Problems. 729-743 BibTeX
Tadashi Kanamori, Kenji Horiuchi: Construction of Logic Programs Based on Generalized Unfold/Fold Rules. 744-768 BibTeX
Zoltan Somogyi: A System of Precise Models for Logic Programs. 769-787 BibTeX
Feliks Kluzniak: Type Synthesis for Ground Prolog. 788-816 BibTeX
Justin Zobel: Derivation of Polymorphic Types for PROLOG Programs. 817-838 BibTeX

Concurrent Languages

Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Y. Shapiro: Channels: A Generalization of Streams. 839-857 BibTeX
Michael J. Maher: Logic Semantics for a Class of Committed-Choice Programs. 858-876 BibTeX
Giorgio Levi, Catuscia Palamidessi: An Approach to the Declarative Semantics of Synchronization in Logic Languages. 877-893 BibTeX
Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa: An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. 894-909 BibTeX
Ian T. Foster: Logic Operating System: Design Issues. 910-926 BibTeX

Invited Talks

Keith L. Clark, Steve Gregory: PARLOG and PROLOG United. 927-961 BibTeX
Hervé Gallaire: Boosting Logic Programming. 962-988 BibTeX
Fernando C. N. Pereira: Grammars and Logics of Partial Information. 989-1013 BibTeX
Kotagiri Ramamohanarao, John Shepherd: Answering Queries in Deductive Database Systems. 1014-1033 BibTeX
Masahiko Sato: Quty: A Concurrent Language Based on Logic and Function. 1034-1056 BibTeX