| 1984 | Equality, Types, Modules and Generics for Logic Programming. | Joseph A. Goguen, Jos Meseguer |
| 1984 | Incorporating Mutable Arrays into Logic Programming. | Lars-Henrik Erikson, Manny Rayner |
| 1984 | A Logical Reconstruction of Prolog II. | Maarten H. van Emden, John W. Lloyd |
| 1984 | Logic Programming by Completion. | Nachum Dershowitz, N. Alan Josephson |
| 1984 | On Gapping Grammars. | Vernica Dahl |
| 1984 | An Architecture for Parallel Logic Languages. | Jim A. Crammond, C. D. F. Miller |
| 1984 | Parlog for Discrete Event Simulation. | Krysia Broda, Steve Gregory |
| 1984 | A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. | Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti |
| 1984 | A Memory Management Machine for Prolog Interpreter. | Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro |
| 1983 | Poster. | |
| 1983 | Front matter (cover, title, foreword, contents). | |
| 1983 | Security and Integrity in Logic Data Bases Using Query-By-Example. | M. Howard Williams, J. C. Neves, Stuart Oliver Anderson |
| 1983 | KBO1: A Knowledge Based Garden Store Assistant. | Adrian Walker, Antnio Porto |
| 1983 | Interprocess Communication in Concurrent Prolog. | Akikazu Takeuchi, Koichi Furukawa |
| 1983 | Knowledge Representation in an Efficient Deductive Inference System. | E. P. Stabler Jr., Edward W. Elcock |
| 1983 | Methodology of Logic Programming. | Ehud Shapiro |
| 1983 | Modelling Human-Computer Interactions in a Friendly Interface. | Patrick Saint-Dizier |
| 1983 | Contextual Grammars in Prolog (ABSTRACT). | Paul Sabatier |
| 1983 | Logical Action Systems. | Antnio Porto |
| 1983 | PROGRAPH as an Environment for Prolog DB Applications. | T. Pietrzwkowski |
| 1983 | Data Base Manasement, Knowledge Base Management and Expert System Development in Prolog. | Kamran Parsaye |
| 1983 | Developing Expert Systems Builders in Logic Programming. | Eugnio Oliveira |
| 1983 | The Personal Sequential Inference Machine (PSI): Its Design and Machine Architecture. | Hiroshi Nishikawa, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Shunichi Uchida |
| 1983 | Towards a Co-operative Data Base Management System. | J. C. Neves, M. Howard Williams |
| 1983 | A Polymorphic Type System for Prolog. | Alan Mycroft, Richard A. O'Keefe |