Skip to main content
SpringerLink
Log in

The Logic Programming Paradigm

A 25-Year Perspective

  • Book
  • © 1999

Overview

Editors:
  1. Krzysztof R. Apt

    1. Stichting Mathematisch Centrum, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Victor W. Marek

    1. Department of Computer Science, University of Kentucky, Lexington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mirek Truszczynski

    1. Department of Computer Science, University of Kentucky, Lexington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. David S. Warren

    1. Computer Science Department, University at Stony Brook, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • A 25-year survey of the evolution and achievements of a major new programming paradigm Including latest results and promising future developments Written by leading world experts in Logic Programming

Part of the book series: Artificial Intelligence (AI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 chapters)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Computing and Programming

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Concurrent and Agent Programming

      1. Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
        • Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
        Pages 5-32
      2. Inference and Computation Mobility with Jinni
        • Paul Tarau
        Pages 33-52
      3. Concurrent Logic/Constraint Programming: The Next 10 Years
        • Kazunori Ueda
        Pages 53-71

    3. Program Analysis and Methodology

      1. Formulas as Programs
        • Krzysztof R. Apt, Marc Bezem
        Pages 75-107
      2. Link-time Optimization of Multi-Language Programs
        • Saumya Debray
        Pages 109-126
      3. Horn Logic Denotations and Their Applications
        • Gopal Gupta
        Pages 127-159
      4. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging
        • Manuel Hermenegildo, Germán Puebla, Francisco Bueno
        Pages 161-192

    4. Future of Declarative Programming

      1. Assessment of Some Issues in CL-Theory and Program Development
        • Danny De Schreye, Marc Denecker
        Pages 195-208
      2. How Enterprises Use Functional Languages, and Why They Don’t
        • Philip Wadler
        Pages 209-227

    5. Continuous Mathematics

      1. Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming’s Algorithmic Foundations
        • Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin
        Pages 231-255
      2. The Logic Programming Paradigm in Numerical Computation
        • Maarten H. van Emden
        Pages 257-276

  3. Knowledge Representation and Modeling

    1. Front Matter

      Pages 277-277
      Download chapter PDF

    3. Machine Learning

      1. A Perspective on Inductive Logic Programming
        • Luc De Raedt
        Pages 335-346
      2. From Deduction to Induction: Logical Perspective
        • Koichi Furukawa
        Pages 347-354

    4. Answer Set Programming

      1. Action Languages, Answer Sets, and Planning
        • Vladimir Lifschitz
        Pages 357-373
      2. Stable Models and an Alternative Logic Programming Paradigm
        • Victor W. Marek, Miroslaw TruszczyÅ„ski
        Pages 375-398
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Stichting Mathematisch Centrum, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands

    Krzysztof R. Apt

  • Department of Computer Science, University of Kentucky, Lexington, USA

    Victor W. Marek, Mirek Truszczynski

  • Computer Science Department, University at Stony Brook, USA

    David S. Warren

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation