Abstract is missing.
- Front matter (cover, title, foreword, contents) [doi]
- Poster [doi]
- Some Reflexions on Implementation Issues of PrologMaurice Bruynooghe. 1-6 [doi]
- A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding ExpressionsHarvey Abramson. 7-39 [doi]
- A Virtual Machine to Implement PrologGerard Ballieu. 40-52 [doi]
- The Personal Sequential Inference Machine (PSI): Its Design and Machine ArchitectureHiroshi Nishikawa, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Shunichi Uchida. 53-73 [doi]
- A Portable Prolog CompilerD. L. Bowen, L. M. Byrd, W. F. Clocksin. 74-83 [doi]
- Methodology of Logic ProgrammingEhud Shapiro. 84-93 [doi]
- The Pragmatics of Prolog: Some CommentsE. W. Elcock. 94-106 [doi]
- A Polymorphic Type System for PrologAlan Mycroft, Richard A. O'Keefe. 107-122 [doi]
- PRISM - A Parallel Inference System for Problem SolvingSimon Kasif, Madhur Kohli, Jack Minker. 123-152 [doi]
- Control of Logic Prosrams Using Integrity ConstraintsMadhur Kohli, Jack Minker. 153-170 [doi]
- Interprocess Communication in Concurrent PrologAkikazu Takeuchi, Koichi Furukawa. 171-185 [doi]
- Intelligent Backtracking for Automated Deduction in FOLStan Matwin, Tomasz Pietrzykowski. 186-191 [doi]
- Logical Action SystemsAntónio Porto. 192-203 [doi]
- Issues in Developing Expert SystemsJack Minker. 204-215 [doi]
- Knowledge Representation in an Efficient Deductive Inference SystemE. P. Stabler Jr., E. W. Elcock. 216-228 [doi]
- A Logic-Based Expert System for Model Building in Regression AnalysisFerenc Darvas, Kornél Bein, Zoltán Gabmányi. 229-239 [doi]
- Developing Expert Systems Builders in Logic ProgrammingEugénio Oliveira. 240-251 [doi]
- KBO1: A Knowledge Based Garden Store AssistantAdrian Walker, António Porto. 252-270 [doi]
- Data Base Manasement, Knowledge Base Management and Expert System Development in PrologKamran Parsaye. 271-289 [doi]
- A Data Base Support System for PrologJan Chomicki, Wlodzimierz Grudzinski. 290-303 [doi]
- Security and Integrity in Logic Data Bases Using Query-By-ExampleM. Howard Williams, J. C. Neves, S. O. Anderson. 304-340 [doi]
- Towards a Co-operative Data Base Management SystemJ. C. Neves, M. Howard Williams. 341-370 [doi]
- PROGRAPH as an Environment for Prolog DB ApplicationsT. Pietrzwkowski. 371-388 [doi]
- Relational Data Bases 'à la carte'Miguel Filgueiras, Luís Moniz Pereira. 389-407 [doi]
- Modelling Human-Computer Interactions in a Friendly InterfacePatrick Saint-Dizier. 408-418 [doi]
- A Kernel for a General Natural Language InterfaceMiguel Filgueiras. 419-436 [doi]
- An Operational Algebraic Semantics of Prolog ProgramsPierre Deransart. 437-442 [doi]
- Finite Computation Principle: An Alternative Method of Adapting Resolution for Logic ProsrammingEd Babb. 443-460 [doi]
- A Note on Computational Complexity of Logic ProgramsAndrzej Lingas. 461-473 [doi]
- On the Fixed-Point Semantics of Horn Clauses with Infinite TermsMoreno Falaschi, Giorgio Levi, Catuscia Palamidessi. 474-484 [doi]
- Some Aspects of the Static Semantics of Logic Programs with Monadic FunctionsPatrizia Asirelli. 485-505 [doi]
- A First Order Semantics of a Connective Suitable to Express ConcurrencyPierpaolo Degano, Stefano Diomedi. 506-517 [doi]
- On Compiling Prolog Programs on Demand Driven ArchitecturesMarco Bellia, Giorgio Levi, Maurizio Martelli. 518-535 [doi]
- Control of Activities in the Or-Parallel Token Machine (Abstract)Andrzej Ciepielewski, Seif Haridi. 536 [doi]
- An Or-Parallel Token MachineSeif Haridi, Andrzej Ciepielewski. 537-552 [doi]
- An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative ModellingIgor Mozetic, Ivan Bratko, Nada Lavrac. 553-559 [doi]
- Evaluation of Logic Programs Based on Natural Deduction (DRAFT)Seif Haridi, Dan Sahlin. 560-574 [doi]
- Contextual Grammars in Prolog (ABSTRACT)Paul Sabatier. 575-577 [doi]
- Current Trends in Logic GrammarsVerónica Dahl. 578-607 [doi]
- Logical Data Bases vs Deductive Data BasesHervé Gallaire. 608-622 [doi]
- Computing with SequencesChristopher D. S. Moss. 623-630 [doi]