ALPUK92

1. Front Matter

   Pages i-x

   PDF

2. Program Analysis

   1. Front Matter

      Pages 1-1

      PDF

   2. Rewriting Concepts in the Study of Termination of Logic Programs

      • R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur

      Pages 3-20

   3. Metric Characterizations of Contextual Logic Programs

      • Jean-Marie Jacquet

      Pages 21-40

   4. Static Analysis for the Synthesis of Eureka Properties for Transforming Logic programs

      • Khaled Bsaïes

      Pages 41-61

   5. An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog

      • Lunjin Lu, Peter Greenfield

      Pages 62-76

3. Language and Implementation Issues

   1. Front Matter

      Pages 77-77

      PDF

   2. Soft Sorting in Logic Programming

      • Jian Chen, John Staples

      Pages 79-96

   3. Modularity for Logic Programs

      • G. Antoniou, V. Sperschneider

      Pages 97-107

   4. SEL Compiler & Abstract Analyzers

      • Giancarlo Succi, Giuseppe A. Marino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata et al.

      Pages 108-123

   5. Disciplined Exceptions in Logic Programming

      • Timothy K. Shih, Ruth E. Davis, Fuyau Lin

      Pages 124-141

4. Parallelism

   1. Front Matter

      Pages 143-143

      PDF

   2. On the Semantics of Concurrent Constraint Programming

      • Frank S. de Boer, Catuscia Palamidessi

      Pages 145-173

   3. L2∥O2: Operational and Declarative Semantics

      • E. Pimentel, J. M. Troya

      Pages 174-188

   4. The DelPhi Multiprocessor Inference Machine

      • W. F. Clocksin

      Pages 189-198

5. Applications in Logic

   1. Front Matter

      Pages 199-199

      PDF

   2. Horn Clause Logic 1992

      • Wilfrid Hodges

      Pages 201-217

   3. From a Hilbert Calculus to its Model Theoretic Semantics

      • Dov Gabbay, Hans Jürgen Ohlbach

      Pages 218-252

   4. Logic Programming via Proof-valued Computations

      • David J. Pym, Lincoln A. Wallen

      Pages 253-262

   5. An Amalgamated Temporal Logic

      • Yuejun Jiang, Barry Richards

      Pages 263-295

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK Conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. The papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. The wide scope of the papers refelects the breadth of interest in this important area of computer science. ALPUK 92 provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.

• Prolog
• algorithms
• artificial intelligence
• computer science
• intelligence
• logic
• logic programming
• parallelism
• programming
• semantics
• software engineering

• Department of Computing, Imperial College of Science, Technology and Midicine, London, UK

  Krysia Broda

Policies and ethics