Prolog: The Next 50 Years
tarafından
 
Warren, David S. editor.

Başlık
Prolog: The Next 50 Years

Yazar
Warren, David S. editor.

ISBN
9783031352546

Basım Bilgisi
1st ed. 2023.

Fiziksel Tanımlama
XVI, 394 p. 129 illus., 99 illus. in color. online resource.

Seri
Lecture Notes in Artificial Intelligence, 13900

İçerik
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.

Yazar Ek Girişi
Warren, David S.
 
Dahl, Veronica.
 
Eiter, Thomas.
 
Hermenegildo, Manuel V.
 
Kowalski, Robert.
 
Rossi, Francesca.

Tüzel Kişi Ek Girişi
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-031-35254-6


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap521397-1001ONLINEElektronik Kütüphane