Abstract is missing.
- Hybrid Backward Slicing Algorithm Producing Executable Slices for PrologStéphane Schoenig, Mireille Ducassé.
- Data Oriented LP with MagritteJosé Paulo Leal.
- Task Force on Logic Program Development (Compulog Project)Pierre Deransart, Henryk Jan Komorowski.
- Proposal for a Foreign Language Interface to PrologMichael R. Levy.
- Time and Money: A Case Study in Systematic Development of Constraint Logic ProgramsSpiro Michaylov, Iván Ordóñez.
- Prolog Program Development via Enhanced Schema-based TransformationsWamberto Weber Vasconcelos, Norbert E. Fuchs.
- Man Machine Service Embedded in Logic ProgrammingAurelie Bechina, Marios Siormanolakis.
- Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic DescriptionsBaudouin Le Charlier, Sabina Rossi.
- Techniques-Based Programming Environment for GödelCorin A. Gurr.
- Attempto: Controlled Natural Language for Requirements SpecificationsNorbert E. Fuchs, Rolf Schwitter.
- Generating Types Is Better than Programming ThemRayk Fenske, Ulrich Geske, Mario Lenz.
- An Environment for Exploring and Validating Declarative KnowledgeAndreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer.