Prolog: The Next 50 Years
by
Warren, David S. editor.
Title
:
Prolog: The Next 50 Years
Author
:
Warren, David S. editor.
ISBN
:
9783031352546
Edition
:
1st ed. 2023.
Physical Description
:
XVI, 394 p. 129 illus., 99 illus. in color. online resource.
Series
:
Lecture Notes in Artificial Intelligence, 13900
Contents
:
Background -- Introduction to Prolog -- About Prolog, present and future -- Types, modes and so much more - 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.
Added Author
:
Warren, David S.
Dahl, Veronica.
Eiter, Thomas.
Hermenegildo, Manuel V.
Kowalski, Robert.
Rossi, Francesca.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 521397-1001 | ONLINE | | Elektronik Kütüphane |