Computational Logic: Logic Programming and Beyond

1. Front Matter

   Pages I-XII

   PDF

2. A Portrait of a Scientist as a Computational Logician

   1. A Portrait of a Scientist as a Computational Logician

      • Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten van Emden

      Pages 1-4

3. Bob Kowalski: A Portrait

   1. Bob Kowalski: A Portrait

      • Marek Sergot

      Pages 5-25

4. Directions for Logic Programming

   1. Directions for Logic Programming

      • Robert A. Kowalski

      Pages 26-32

5. Logic Programming Languages

   1. Agents as Multi-threaded Logical Objects

      • Keith Clark, Peter J. Robinson

      Pages 33-65

   2. Logic Programming Languages for the Internet

      • Andrew Davison

      Pages 66-104

   3. Higher-Order Computational Logic

      • John W. Lloyd

      Pages 105-137

   4. A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language

      • Kazunori Ueda

      Pages 138-161

6. Program Derivation and Properties

   1. Transformation Systems and Nondeclarative Properties

      • Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

      Pages 162-186

   2. Acceptability with General Orderings

      • Danny De Schreye, Alexander Serebrenik

      Pages 187-210

   3. Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach

      • Gopal Gupta, Enrico Pontelli

      Pages 211-239

   4. Negation as Failure through Abduction: Reasoning about Termination

      • Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri

      Pages 240-272

   5. Program Derivation = Rules + Strategies

      • Alberto Pettorossi, Maurizio Proietti

      Pages 273-309

7. Software Development

   1. Achievements and Prospects of Program Synthesis

      • Pierre Flener

      Pages 310-346

   2. Logic for Component-Based Software Development

      • Kung-Kiu Lau, Mario Ornaghi

      Pages 347-373

   3. Patterns for Prolog Programming

      • Leon Sterling

      Pages 374-401

8. Extensions of Logic Programming

   1. Abduction in Logic Programming

      • Marc Denecker, Antonis Kakas

      Pages 402-436

   2. Learning in Clausal Logic: A Perspective on Inductive Logic Programming

      • Peter Flach, Nada Lavrač

      Pages 437-471

   3. Disjunctive Logic Programming: A Survey and Assessment

      • Jack Minker, Dietmar Seipel

      Pages 472-511

   4. Constraint Logic Programming

      • Mark Wallace

      Pages 512-532

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.

• Automat
• artificial intelligence
• automated reasoning
• database
• intelligence
• learning
• logic
• programming
• programming language

• Department of Computer Science, University of Cyprus, Nicosia, Cyprus

  Antonis C. Kakas

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

  Fariba Sadri

Policies and ethics