4. SLP 1987: San Francisco, California

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, August 31 - September 4, 1987. IEEE-CS 1987, ISBN 0-8186-0799-8

Language Issues

Martín Abadi, Zohar Manna: Temporal Logic Programming. 4-16 BibTeX
Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr: Le Fun: Logic, Equations and Functions. 17-23 BibTeX
Weidong Chen: A Theory of Modules Based on Second-Order Logic. 24-33 BibTeX
Martin Huber, Igor Varsek: Extended Prolog for Order-Sorted Resolution. 34-43 BibTeX

Terry Disz, Ewing L. Lusk: A Graphical Tool for Observing the Behavior of Parallel Logic Programs. 46-53 BibTeX
Kish Shen, David H. D. Warren: A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. 45-68 BibTeX
Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi: OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. 69-79 BibTeX
Doug DeGroot: Restricted And-Parallelism and Side Effects. 80-89 BibTeX

David H. D. Warren: The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. 92-102 BibTeX

Hiroshi Nakashima, Katsuto Nakajima: Hardware Architecture of the Sequential Inference Machine: PSI-II. 104-113 BibTeX
Hervé J. Touati, Alvin M. Despain: An Empirical Study of the Warren Abstract Machine. 114-124 BibTeX
Laxmikant V. Kalé: 'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes. 125-133 BibTeX
William H. Winsborough: Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. 134-152 BibTeX

Howard A. Blair: Canoncical Conservative Extensions of Logic Program Completions. 154-161 BibTeX
Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG. 162-172 BibTeX
V. S. Subrahmanian: On the Semantics of Quantitative Logic Programs. 173-182 BibTeX
Philip T. Cox, Tomasz Pietrzykowski: General Diagnosis by Abductive Inference. 183-189 BibTeX

Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen: Abstract Interpretation: Towards the Global Optimization of Prolog Programs. 192-204 BibTeX
Heikki Mannila, Esko Ukkonen: Flow Analysis of Prolog Programs. 205-214 BibTeX
Hirohisa Seki, Koichi Furukawa: Notes on Transformation Techniques for Generate and Test Logic Programs. 215-223 BibTeX
Akira Okumura, Yuji Matsumoto: Parallel Programming with Layered Streams. 224-232 BibTeX

Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. 234-243 BibTeX
Eyal Mozes: A Deductive Database Based on Aristotelian Logic. 244-252 BibTeX
Mark Wallace: Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. 253-263 BibTeX
Suzanne W. Dietrich: Extension Tables: Memo Relations in Logic Programming. 264-272 BibTeX

Takashi Chikayama: Parallel Inference System Researches in the FGCS Project. 274-276 BibTeX

Yukihide Takayama: Writing Programs as QJ Proof and Compiling into Prolog Programs. 278-287 BibTeX
Matthew M. Huntbach: Algorithmic PARLOG Debugging. 288-297 BibTeX
Nachum Dershowitz, Yuh-Jeng Lee: Deductive Debugging. 298-306 BibTeX
Saumya K. Debray: Flow Analysis of a Simple Class of Dynamic Logic Programs. 307-316 BibTeX

Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. 318-327 BibTeX
D. W. Shin, Jong H. Nang, Sangki Han, Seungryul R. Maeng: A Functional Logic Language Based on Canonical Unification. 328-334 BibTeX
Steffen Hölldobler: Equational Logic Programming. 335-346 BibTeX
Vijay A. Saraswat: GHC: Operational Semantics, Problems, and Relationships with CP(|, |). 347-358 BibTeX

Walter G. Wilson: Concurrent Alpha-Beta: A Study in Concurrent Logic Programming. 360-367 BibTeX
Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. 368-378 BibTeX
Dale Miller, Gopalan Nadathur: A Logic Programming Approach to Manipulating Formulas and Programs. 379-388 BibTeX
Wlodzimierz Drabent: Do Logic Programs Resemble Programs in Conventional Languages? 289-396 BibTeX

Chenxi Zhang, Tzu Yungui, Li Liangliang, Hu Yunfa: Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems. 398-405 BibTeX
Vipin Kumar, Yow-Jian Lin: An Intelligent Backtracking Scheme for Prolog. 406-414 BibTeX
Jonas Barklund, Håkan Millroth: Integrating Complex Data Structures in Prolog. 415-425 BibTeX
Michael M. Gorlick, Carl Kesselman: Timing Prolog Programs without Clock. 426-434 BibTeX

Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre: The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism. 436-448 BibTeX
Khayri A. M. Ali: A Method for Implementing Cut in Parallel Execution of Prolog. 449-456 BibTeX
John S. Conery: Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors. 457-467 BibTeX
Yasunori Kimura, Takashi Chikayama: An Abstract KL1 Machine and Its Instruction Set. 468-477 BibTeX

Hayato Ohwada, Fumio Mizoguchi: Qualitative Simulation in Parallel Logic Programming. 480-489 BibTeX
William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain: Experience with Prolog as a Hardware Specification Language. 490-498 BibTeX
Stan Matwin, Stan Szpakowicz, Gregory E. Kersten, Wojtek Michalowski, Zbig Koperczak: A Logic-Based Tools for Negotiation Support. 499-506 BibTeX

Peter B. Reintjes: AUNT: A Universal Netlist Translator. 508-515 BibTeX
Mitsuhiro Kishimoto, Akira Hosoi, Kouichi Kumon, Akira Hattori: An Evaluation of the FGHC via Practical Application Programs. 516-525 BibTeX