1. SLP 1984: Atlantic City, New Jersey

Architectures I

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

Architectures II

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

Parallel Language Issues

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

Applications in Prolog

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

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
• Hideyuki Nakashima: Knowledge representation in Prolog/KR. 126-130
• Hajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa: A Methodology for Implementation of a Knowledge Acquisition System. 131-142

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
• Mats Carlsson: On Implementing Prolog in Functional Programming. 154-159
• Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: On the Integration of Logic Programming and Functional Programming. 160-166

Logic Programming Plus Functional Programming II

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

Logic Programming Implementation Issues

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

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
• António Porto, Miguel Filgueiras: Natural Language Semantics: A Logic Programming Approach. 228-232
• Harvey Abramson: Definite Clause Translation Grammars. 233-240

Aspects of Logic Programming Languages

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

Theory of Logic Programming

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

Last update Tue May 21 18:02:42 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page