Abstract is missing.
- Executing Distributed Prolog Programs on a Broadcast NetworkDavid Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé. 12-21
- AND Parallel PROLOG with Divided Assertion SetHiroshi Nakagawa. 22-28
- Towards a Pipelined Prolog ProcessorEvan Tick, David H. D. Warren. 29-40
- Implementing Parallel Prolog on a Multiprocessor MachineNaoyuki Tamura, Yukio Kaneda. 42-48
- Control of Activities in the Or-Parallel Token MachineAndrzej Ciepielewski, Seif Haridi. 49-57
- Logic Programming Using Parallel Associative OperationsStephen Taylor, Andy Lowry, Gerald Q. Maguire Jr., Salvatore J. Stolfo. 58-68
- Negation as Failure and ParallelismTom Khabaza. 70-75
- A Note on Systems Programming in Concurrent PrologDavid Gelernter. 76-82
- Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent PrologEhud Y. Shapiro, Colin Mierowsky. 83-90
- Editing First-Order Proofs: Programmed Rules vs Derived RulesMaria Virginia Aponte, José Alberto Fernández, Philippe Roussel. 92-98
- Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW ExperienceLisa Hellerstein, Ehud Y. Shapiro. 99-115
- A Knowledge Assimilation Method for Logic DatabasesTaizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota. 118-125
- Knowledge representation in Prolog/KRHideyuki Nakashima. 126-130
- A Methodology for Implementation of a Knowledge Acquisition SystemHajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa. 131-142
- Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic ProgrammingP. A. Subrahmanyam, Jia-Huai You. 144-153
- On Implementing Prolog in Functional ProgrammingMats Carlsson. 154-159
- On the Integration of Logic Programming and Functional ProgrammingRoberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli. 160-166
- Stream-Based Execution of Logic ProgrammingGary Lindstrom, Prakash Panangaden. 168-176
- Transformation of Logic Programs into Functional ProgramsUday S. Reddy. 187-196
- Efficient Prolog Memory Management for Flexible Control StrategiesDavid Scott Warren. 198-202
- Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded WordsMichael J. Wise, David M. W. Powers. 203-210
- A Prolog Technology Theorem ProverMark E. Stickel. 211-217
- A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation TechniqueKuniaki Uehara, Ryo Ochitani, Osamu Kakusho, Jun ichi Toyoda. 220-227
- Natural Language Semantics: A Logic Programming ApproachAntónio Porto, Miguel Filgueiras. 228-232
- Definite Clause Translation GrammarsHarvey Abramson. 233-240
- A Primitive for the Control of Logic ProgramsKenneth M. Kahn. 242-251
- Dataflow, Flowcharts, and LUCID -style Programming in LogicDerek R. Brough, Maarten H. van Emden. 252-258
- Semantics of a Logic Programming Language with a Reducibility PredicateHisao Tamaki. 259-264
- Object-Oriented Programming in PrologCarlo Zaniolo. 265-270
- The Occur-Check Problem in PrologDavid A. Plaisted. 272-280
- Stepwise Development of Operational and Denotational Semantics for PrologNeil D. Jones, Alan Mycroft. 281-288
- Towards a Theory of Types in PrologPrateek Mishra. 289-298
- Cuttable Formulas for Logic ProgrammingTamás Gergely, Miklós Szöts. 299-310