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
Timothy G. Lindholm, Richard A. O'Keefe: Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. 21-39
Mats Carlsson: Freeze, Indexing, and Other Implementation Issues in the WAM. 40-58
Hans Mulder, Evan Tick: A Performance Comparison between PLM and a M68020 PROLOG Processor. 59-73

Databases

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

Constraints

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

Parallelism I

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

Implementation Issues

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

Language Issues

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

Parallelism II

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

Applications

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

Program Analysis

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

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
Michael J. Maher: Logic Semantics for a Class of Committed-Choice Programs. 858-876
Giorgio Levi, Catuscia Palamidessi: An Approach to the Declarative Semantics of Synchronization in Logic Languages. 877-893
Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa: An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. 894-909
Ian T. Foster: Logic Operating System: Design Issues. 910-926

Invited Talks

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