1. SLP 1984: Atlantic City, New Jersey

Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, February 6-9, 1984. IEEE-CS 1984, ISBN 0-8186-0522-7

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

Copyright © Sat May 16 23:41:35 2009 by Michael Ley (ley@uni-trier.de)