Prolog: The Next 50 Years

Prolog: The Next 50 Years
Author :
Publisher : Springer Nature
Total Pages : 399
Release :
ISBN-10 : 9783031352546
ISBN-13 : 3031352548
Rating : 4/5 (548 Downloads)

Book Synopsis Prolog: The Next 50 Years by : David S. Warren

Download or read book Prolog: The Next 50 Years written by David S. Warren and published by Springer Nature. This book was released on 2023-06-16 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Prolog: The Next 50 Years Related Books

Prolog: The Next 50 Years
Language: en
Pages: 399
Authors: David S. Warren
Categories: Computers
Type: BOOK - Published: 2023-06-16 - Publisher: Springer Nature

GET EBOOK

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 Colm
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 248
Authors: Juliana Bowles
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Formal Methods
Language: en
Pages: 669
Authors: Andre Platzer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 424
Authors: Carmine Dodaro
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Intelligent Educational Robots
Language: en
Pages: 342
Authors: Stamatios Papadakis
Categories: Computers
Type: BOOK - Published: 2024-12-16 - Publisher: Walter de Gruyter GmbH & Co KG

GET EBOOK

This book focuses on recent advances in maker education and in human-robot interaction and on the integration of intelligent educational robots (IER) in P-12 ed