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 updated on Sun May 26 04:22:46 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page