The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)

This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are all leading world experts in Logic Programming, and they deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. XXXXXXX Neuer Text Logic Programming was founded 25 years ago. This exciting book reveals both the evolution of this programming paradigm and its impressively broad scope of current research. The contributions by leading computer scientists deal with both theoretical and practical issues. They address diverse topics such as: computational molecular biology, machine learning, mobile computing, multi-agent systems, numerical computing and dynamical systems, database systems, program semantics, natural language processing, and promising future directions. Front Matter....Pages I-XVI Front Matter....Pages 1-1 Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics....Pages 5-32 Inference and Computation Mobility with Jinni....Pages 33-52 Concurrent Logic/Constraint Programming: The Next 10 Years....Pages 53-71 Formulas as Programs....Pages 75-107 Link-time Optimization of Multi-Language Programs....Pages 109-126 Horn Logic Denotations and Their Applications....Pages 127-159 Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging....Pages 161-192 Assessment of Some Issues in CL-Theory and Program Development....Pages 195-208 How Enterprises Use Functional Languages, and Why They Don’t....Pages 209-227 Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming’s Algorithmic Foundations....Pages 231-255 The Logic Programming Paradigm in Numerical Computation....Pages 257-276 Front Matter....Pages 277-277 Logic-Based User-Defined Aggregates for the Next Generation of Database Systems....Pages 401-426 The Logic of Language....Pages 429-456 Computational Molecular Biology: A Promising Application Using LP and its Extensions....Pages 281-311 Adding Constraints to Logic-based Formalisms....Pages 313-331 A Perspective on Inductive Logic Programming....Pages 335-346 From Deduction to Induction: Logical Perspective....Pages 347-354 Action Languages, Answer Sets, and Planning....Pages 357-373 Stable Models and an Alternative Logic Programming Paradigm....Pages 375-398 Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed. Preface Part I. Computing and Programming: Concurrent and Agent Programming. Program Analysis and Methodology. Future of Declarative Programming. Continuous Mathematics Part II. Knowledge Representation and Modeling: Constraints; Machine Learning; Answer Set Programming; Database Systems; Natural Language Processing.