Cover image for Prolog: The Next 50 Years
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 Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 521397-1001 XX(521397.1)
Searching...

On Order