Abstract is missing.
- Explaining Program Execution in Deductive SystemsTarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava. 1-7
- Generating Explanation Trees even for Negations in Deductive DataBase SystemsGünther Specht. 8-13
- A Tool to Support Stepwise Enhancement in PrologLeon Sterling, Sitt Chen Chok. 21-26
- Characterizing Prolog Programming TechniquesAndrew Bowles, Wamberto Weber Vasconcelos. 27-32
- How to build quickly an efficient implementation of the domain Prop with DyALogP. Lefèbvre, Eric Villemonte de la Clergerie. 33-38
- Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic ProgramsDmitri Boulanger, Maurice Bruynooghe, Danny De Schreye. 39-51
- Inheritance in DatalogMiguel-Angel Oros, Paul Y. Gloess. 52-58
- A Constraint-Based Declarative Display Description Language for VisualizationAnthony J. Kusalik, Gregory M. Oster. 59-67
- Programmer-Oriented Visualization of Parallel Logic Program ExecutionAnthony J. Kusalik, Steven David Prestwich. 69-74
- MULTI/PLEX: Prolog tools for Formal LanguagesPeter B. Reintjes, Suresh Rajgopal. 81-87
- Distributed Problem Solving: A Universal Computer ArchitectureVictor Alves, Abílio Ribeiro, José Neves. 88-93
- A Product Assurance Environment for PrologFevzi Belli, Oliver Jack. 94-99
- Reliability Prediction and Reliability Assessment Environment or Prolog ProgramsAlireza Azem, Fevzi Belli. 100-105