1. SLP 1984: Atlantic City, New Jersey

Architectures I

• Peter Borgwardt: Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors. 2-11 BibTeX
• David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé: Executing Distributed Prolog Programs on a Broadcast Network. 12-21 BibTeX
• Hiroshi Nakagawa: AND Parallel PROLOG with Divided Assertion Set. 22-28 BibTeX
• Evan Tick, David H. D. Warren: Towards a Pipelined Prolog Processor. 29-40 BibTeX

Architectures II

• Naoyuki Tamura, Yukio Kaneda: Implementing Parallel Prolog on a Multiprocessor Machine. 42-48 BibTeX
• Andrzej Ciepielewski, Seif Haridi: Control of Activities in the Or-Parallel Token Machine. 49-57 BibTeX
• Stephen Taylor, Andy Lowry, Gerald Q. Maguire Jr., Salvatore J. Stolfo: Logic Programming Using Parallel Associative Operations. 58-68 BibTeX

Parallel Language Issues

• Tom Khabaza: Negation as Failure and Parallelism. 70-75 BibTeX
• David Gelernter: A Note on Systems Programming in Concurrent Prolog. 76-82 BibTeX
• Ehud Y. Shapiro, Colin Mierowsky: Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. 83-90 BibTeX

Applications in Prolog

• Maria Virginia Aponte, José Alberto Fernández, Philippe Roussel: Editing First-Order Proofs: Programmed Rules vs Derived Rules. 92-98 BibTeX
• Lisa Hellerstein, Ehud Y. Shapiro: Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. 99-115 BibTeX

Knowledge Representation and Data Bases

• Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota: A Knowledge Assimilation Method for Logic Databases. 118-125 BibTeX
• Hideyuki Nakashima: Knowledge representation in Prolog/KR. 126-130 BibTeX
• Hajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa: A Methodology for Implementation of a Knowledge Acquisition System. 131-142 BibTeX

Logic Programming Plus Functional Programming I

• P. A. Subrahmanyam, Jia-Huai You: Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. 144-153 BibTeX
• Mats Carlsson: On Implementing Prolog in Functional Programming. 154-159 BibTeX
• Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: On the Integration of Logic Programming and Functional Programming. 160-166 BibTeX

Logic Programming Plus Functional Programming II

• Gary Lindstrom, Prakash Panangaden: Stream-Based Execution of Logic Programming. 168-176 BibTeX
• Bruce Smith: Logic Programming on an FFP Machine. 177-186 BibTeX
• Uday S. Reddy: Transformation of Logic Programs into Functional Programs. 187-196 BibTeX

Logic Programming Implementation Issues

• David Scott Warren: Efficient Prolog Memory Management for Flexible Control Strategies. 198-202 BibTeX
• Michael J. Wise, David M. W. Powers: Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words. 203-210 BibTeX
• Mark E. Stickel: A Prolog Technology Theorem Prover. 211-217 BibTeX

Grammars and Parsing

• Kuniaki Uehara, Ryo Ochitani, Osamu Kakusho, Jun'ichi Toyoda: A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique. 220-227 BibTeX
• António Porto, Miguel Filgueiras: Natural Language Semantics: A Logic Programming Approach. 228-232 BibTeX
• Harvey Abramson: Definite Clause Translation Grammars. 233-240 BibTeX

Aspects of Logic Programming Languages

• Kenneth M. Kahn: A Primitive for the Control of Logic Programs. 242-251 BibTeX
• Derek R. Brough, Maarten H. van Emden: Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. 252-258 BibTeX
• Hisao Tamaki: Semantics of a Logic Programming Language with a Reducibility Predicate. 259-264 BibTeX
• Carlo Zaniolo: Object-Oriented Programming in Prolog. 265-270 BibTeX

Theory of Logic Programming

• David A. Plaisted: The Occur-Check Problem in Prolog. 272-280 BibTeX
• Neil D. Jones, Alan Mycroft: Stepwise Development of Operational and Denotational Semantics for Prolog. 281-288 BibTeX
• Prateek Mishra: Towards a Theory of Types in Prolog. 289-298 BibTeX
• Tamás Gergely, Miklós Szöts: Cuttable Formulas for Logic Programming. 299-310 BibTeX