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
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 521397-1001 | ONLINE | | Elektronik Kütüphane |