计算机性能评价 Computational logic：Logic Programming and Beyond

Computational Logic: Logic Programming and Beyond Together with its companion volume, LNAI 2408, this book commemorates the 6oth birthday of Bob Kowalski, one of the founders of and major contributors to computational logic.
This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of pro-gramming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contribution of computation-
al logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural language, and learning.

A Portrait of a Scientist as a Computational Logician
Bob Kowalski: A Portrait
Directions for Logic Programming
Ⅰ Logic Programming Languages
　Agents as Multi-threaded Logical Objects
　Logic Programming Languages for the Internet
　Higher-Order Computational Logic
　A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Ⅱ Program Derivation and Properties
　Transformation Systems and Nondeclarative Properties
　Acceptability with General Orderings
　Specification, Implementation, and Verification of Domain Specific Languages: A Logic 　Programming-Based Approach
　Negation as Failure through Abduction: Reasoning about Termination.
　Program Derivation=Rules+Strategies
Ⅲ Software Development
　Achievements and Prospects of Program Synthesis
　Logic for Component-Based Software Development
　Patterns for Prolog Programming
Ⅳ Extensions of Logic Programming
　Abduction in Logic Programming
　Learning in Clausal Logic: A Perspective on Inductive Logic Programming
　Disjunctive Logic Programming: A Survey and Assessment
　Constraint Logic Programming
Ⅴ Applications in Logic
　Planning Attacks to Security Protocols: Case Studies in Logic Programming
　Multiagent Compromises, Joint Fixpoints, and Stable Models
　Error-Tolerant Agents
　Logic-Based Hybrid Agents
　Heterogeneous Scheduling and Rotation
Author Index