Abstract is missing.
- A Horn Clause-like Logic for Specifying ConcurrencyLuís Monteiro. 1-8
- Logic Control with LogicLuís Moniz Pereira. 9-18
- A Partial Evaluator of Lisp Programs Written in PrologKenneth M. Kahn. 19-25
- Concurrent Execution of LogicKenneth A. Bowen. 26-30
- Epilog: A Language for Extended Programming in LogicAntónio Porto. 31-37
- Prolog Interpreter Based on Concurrent ProgrammingKoichi Furukawa, Katsumi Nitta, Yuji Matsumoto. 38-44
- A Lisp-machine to Implement PrologChristian Percebois, Jean-Paul Sansonnet. 45-51
- A Note on Garbage-Collection in Prolog InterpretersMaurice Bruynooghe. 52-55
- Prolog/KR - Language FeaturesHideyuki Nakashima. 65-70
- Logic Programming: A Parallel ApproachNorbert Eisinger, Simon Kasif, Jack Minker. 71-77
- Knowledge Acquisition in PrologAlain Grumbach. 78-84
- Restriction Grammar in PrologLynette Hirschman, Karl Puder. 85-90
- Interfacing Predicate Logic Languages and Relational DatabasesUpen S. Chakravarthy, Jack Minker, Duc Tran. 91-98
- Teaching Logic as a Computer Language in SchoolsRichard Ennals. 99-104
- Graphs as Data in Prolog ProgramsJan Sebelík, Petr Stepánek. 105-109
- A Prolog Simulation of Migration Decision Making in a Less Developed CountryJohn W. Roach, Theodore D. Fuller. 110-115
- Module Development Based on Program Transformation and Automatic Generation of the Input-output RelationDouglas R. Skuce. 116-122
- LDM: A Program Specification Support SystemZsuzsa Farkas, Péter Szeredi, E. Sántáné-Tóth. 123-128
- Adding Redundancy to Obtain more Reliable and Readable Prolog ProgramsMaurice Bruynooghe. 129-133
- Logic Programming - What Does it Bring to the Software EngineeringToshiaki Kurokawa. 134-138
- A Design Methodology in Prolog ProgrammingZsuzsanna Markusz, A. A. Kaposi. 139-145
- Towards a Derivation EditorAgneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund. 146-151
- Alternation and the Computational Complexity of Logic ProgramsEhud Y. Shapiro. 154-163
- Negation and Semantics of Prolog ProgramsTaisuke Sato. 169-174
- Toward an Inductionless Technique for Proving Properties of Logic ProgramsRoberto Barbuti, Pierpaolo Degano, Giorgio Levi. 175-181
- Unification-based Conditional Binding ConstructsHarvey Abramson. 182-186
- Relational Production Systems and Logic ProgramsPaul H. Morris. 187-192
- A Comparison of the Logic Programming Language Prolog with Two-levels GrammarsJan Maluszynski, Jørgen Fischer Nilsson. 193-199
- ORBI - An Expert System for Environmental Resource Evaluation through Natural LanguageLuís Moniz Pereira, Paul Sabatier, Eugenio Oliveira. 200-209
- Medical Decision Aid: Logic Bases of the System SPHINXMichel Joubert, Marius Fieschi, D. Fieschi, M. Roux. 210-214
- On a Semantic Representation of Natural Language SentencesJean François Pique. 215-223
- A Prolog Implementation of a Large System on a Small MachineLuís Moniz Pereira, António Porto. 225-229
- A Dialogue in Natural LanguageRobert Pasero. 231-239
- Application of Meta-language Programming to Fault Finding in Logic CircuitsKave Eshghi. 240-246