Abstract is missing.
- Some Thoughts on Proof DiscoveryW. W. Bledsoe. 2-10
- The Logic of Tensed Statements in English - An Application of Logic ProgrammingPeter Øhrstrøm, Niels Aalborg. 12-19
- Incremental Flavor-Mixing of Meta-Interpreters for Expert System ConstructionLeon Sterling, Randall D. Beer. 20-27
- Paging Strategy for Prolog Based Dynamic Virtual MemoryM. L. Ross, Kotagiri Ramamohanarao. 46-57
- A Logical Treatment of Secondary StorageIan T. Foster, Anthony J. Kusalik. 58-67
- Compiling ControlMaurice Bruynooghe, Danny De Schreye, Bruno Krekels. 70-77
- Automatic Mode Inference for Prolog ProgramsSaumya K. Debray, David Scott Warren. 78-88
- IDEAL: An Ideal Deductive Applicative LanguagePier Giorgio Bosco, Elio Giovannetti. 89-94
- Logic Programming-From a Logic Point of ViewSten-Åke Tärnlund. 96-103
- A Theory of Modules for Logic ProgrammingDale Miller. 106-114
- Negation as Failure Using Tight Derivations for General Logic ProgramsAllen Van Gelder. 127-138
- Characterisation of Terminating Logic ProgramsThomas Vasak, John Potter. 140-147
- An Execution Model for Committed-Choice Non-Deterministic LanguagesJim A. Crammond. 148-158
- Timestamped Term Representation for Implementing PrologHeikki Mannila, Esko Ukkonen. 159-165
- SLD-Resolution Methods for Horn Clauses with Equality Based on E-UnificationJean H. Gallier, Stan Raatz. 168-179
- An Algorithm for Unification in Equational TheoriesAlberto Martelli, Corrado Moiso, Gianfranco Rossi. 180-186
- An Implementation of Narrowing: The RITE WayN. Alan Josephson, Nachum Dershowitz. 187-197
- Selecting the Backtrack Literal in the AND/OR ModelNam Sung Woo, Kwang-Moo Choe. 200-210
- The Sync Model: A Parallel Execution Method for Logic ProgrammingPeyyun Peggy Li, Alain J. Martin. 223-234
- Redundancy in Function-Free Recursive RulesJeffrey F. Naughton. 236-245
- MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming LanguagesYves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro. 258-264
- Register Allocation in a Prolog MachineSaumya K. Debray. 267-275
- Garbage Cut for Garbage Collection of Iterative Prolog ProgramsJonas Barklund, Håkan Millroth. 276-283