Skip to main content
SpringerLink
Log in

Prolog: The Next 50 Years

  • Book
  • © 2023

Overview

Editors:
  1. David S. Warren

    1. Stony Brook University, Stony Brook, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Veronica Dahl

    1. Simon Fraser University, Burnaby, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Thomas Eiter

    1. TU Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Manuel V. Hermenegildo

    1. Universidad Politecnica de Madrid/IMDEA Software Institute, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Robert Kowalski

    1. Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Francesca Rossi

    1. IBM Research, Yorktown Heights, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Volume editors, authors, scientific advisors and reviewers are the leading researchers in this field
  • Book represents an excellent overview of the field, its successes, and its future
  • Initiative of the Year of Prolog, celebrating the 50th anniversary of the emergence of Prolog

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13900)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

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 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.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 (31 chapters)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Background

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction to Prolog

      • David S. Warren
      Pages 3-19

  3. About Prolog, Present and Future

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Types, Modes and so Much More – The Prolog Way

      • Manuel V. Hermenegildo, Jose F. Morales, Pedro Lopez-Garcia, Manuel Carro
      Pages 23-37

    3. Prolog as a Knowledge Representation Language the Nature and Importance of Prolog

      • Michael Genesereth
      Pages 38-47

    4. Prolog: Past, Present, and Future

      • Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu et al.
      Pages 48-61

    5. Writing Correct Prolog Programs

      • David S. Warren
      Pages 62-70

    6. Demonstrating Multiple Prolog Programming Techniques Through a Single Operation

      • Nick Bassiliades, Ilias Sakellariou, Petros Kefalas
      Pages 71-81

    7. A Better Logical Semantics for Prolog

      • David S. Warren, Marc Denecker
      Pages 82-92

    8. The Janus System: A Bridge to New Prolog Applications

      • Carl Andersen, Theresa Swift
      Pages 93-104

  4. Teaching Prolog

    1. Front Matter

      Pages 105-105
      Download chapter PDF

    2. Some Thoughts on How to Teach Prolog

      • Manuel V. Hermenegildo, Jose F. Morales, Pedro Lopez-Garcia
      Pages 107-123

    3. Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit

      • Laurent Cervoni, Julien Brasseur, Jean Rohmer
      Pages 124-130

    4. Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children?

      • Laura A. Cecchi, Jorge P. Rodríguez, Verónica Dahl
      Pages 131-143

    5. Prolog Education in Selected Secondary Schools in Bulgaria

      • Veneta Tabakova-Komsalova, Stanimir Stoyanov, Asya Stoyanova-Doycheva, Lyubka Doukovska
      Pages 144-153

    6. Introducing Prolog in Language-Informed Ways

      • Verónica Dahl, Laura A. Cecchi
      Pages 154-167

  5. Tools for Teaching Prolog

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. Teaching Prolog with Active Logic Documents

      • Jose F. Morales, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo
      Pages 171-183

    3. Simply Logical – The First Three Decades

      • Peter Flach, Kacper Sokol, Jan Wielemaker
      Pages 184-193
Back to top

Keywords

About this book

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future.

After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language’s range.

Editors and Affiliations

  • Stony Brook University, Stony Brook, USA

    David S. Warren

  • Simon Fraser University, Burnaby, Canada

    Veronica Dahl

  • TU Wien, Vienna, Austria

    Thomas Eiter

  • Universidad Politecnica de Madrid/IMDEA Software Institute, Madrid, Spain

    Manuel V. Hermenegildo

  • Imperial College London, London, UK

    Robert Kowalski

  • IBM Research, Yorktown Heights, USA

    Francesca Rossi

Bibliographic Information

  • Book Title: Prolog: The Next 50 Years

  • Editors: David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-35254-6

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-35253-9Published: 17 June 2023

  • eBook ISBN: 978-3-031-35254-6Published: 16 June 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 394

  • Number of Illustrations: 30 b/w illustrations, 99 illustrations in colour

  • Topics: Artificial Intelligence, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation