Prolog : the next 50 years / David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors.
Warren, David S., editor.; Dahl, Veronica, 1950- editor.; Eiter, Thomas, 1966- editor.; Hermenegildo, Manuel, editor.; Kowalski, Robert, editor.; Rossi, Francesca, 1962- editor.
2023
QA76.73.P76
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Prolog : the next 50 years / David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors.
ISBN 9783031352546 (electronic bk.)
3031352548 (electronic bk.)
9783031352539
303135253X
DOI https://doi.org/10.1007/978-3-031-35254-6
Published Cham : Springer, [2023]
Copyright ©2023
Language English
Description 1 online resource (xvi, 394 pages) : illustrations (chiefly color).
Item Number 10.1007/978-3-031-35254-6 doi
Call Number QA76.73.P76
Dewey Decimal Classification 005.13/3
Summary 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⁰́b9s 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⁰́b9s range.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 21, 2023).
Added Author Warren, David S., editor.
Dahl, Veronica, 1950- editor.
Eiter, Thomas, 1966- editor.
Hermenegildo, Manuel, editor.
Kowalski, Robert, editor.
Rossi, Francesca, 1962- editor.
Series Lecture notes in computer science ; 13900.
Lecture notes in computer science. Lecture notes in artificial intelligence. 2945-9141
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form Print version: 9783031352539
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Background
Introduction to Prolog
About Prolog, present and future
Types, modes and so much more ⁰́b3 the Prolog way
Manuel Carro Prolog as a Knowledge Representation Language
Prolog: Past, Present, and Future
Writing Correct Prolog Programs
Demonstrating Multiple Prolog Programming Techniques through a Single Operation
Logical Semantics for Prolog
The Janus System: A Bridge to New Prolog Applications
Teaching Prolog
Some Thoughts on How to Teach Prolog
Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit
Logic Programming at Elementary School: Why, what and how should we teach Logic Programming to children
Prolog Education in Selected High Schools in Bulgaria
Introducing Prolog in Language-Informed Ways
Tools for teaching Prolog
Teaching Prolog with Active Logic Documents
Simply Logical - The First Three Decades
Prolog-based languages and systems Dynamic Logic Programming
Combining Prolog and Imperative Computing in LPS
Quintero Ergo: A Quest for Declarativity in Logic Programming
Prolog applications: finalists for the Colmerauer prize ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life
Pacioli: a PROLOG system for financial report validation
Logic Model Processing
Symbium: Using logic programming to streamline citizen-to-government interactions
PROLEG: Practical Legal Reasoning System
Contributed Prolog applications
Logical English for Law and Education
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
Prolog meets Biology
Prolog in Automated Reasoning in Geometry
Logic-based Explainable and Incremental Machine Learning
Reflections on Automation, Learnability and Expressiveness in Logic-based Programming Languages
Prolog for Scientific Explanation
Machines as Thought Partners: Reflections on 50 Years of Prolog.

Browse Subjects

Show more subjects...

Statistics

from
to
Export