Volume editors, authors, scientific advisors and reviewers are the leading researchers in this field

Book represents an excellent overview of the field, its successes, and its future

Initiative of the Year of Prolog, celebrating the 50th anniversary of the emergence of Prolog

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 ProgrammingTechniques through a Single Operation.- Logical Semantics for Prolog.- The Janus System: A Bridgeto New Prolog Applications.- Teaching Prolog.- Some Thoughts on How to Teach Prolog.- Simultaneously Teaching Mathematics and Prolog in School Curricula:A Mutual Benefit.- LogicProgramming at Elementary School: Why, what and how should weteach Logic Programming to children.- Prolog Education in Selected High Schools in Bulgaria.-Introducing Prolog inLanguage-Informed Ways.- Tools for teaching Prolog.- Teaching Prolog with Active Logic Documents.- Simply Logical - The First Three Decades.- Prolog-based languages and systemsDynamic Logic Programming.- Combining Prolog and Imperative Computingin LPS.- Quintero Ergo: A Quest for Declarativity in Logic Programming.- Prolog applications: finalists for the Colmerauer prizeProB: Harnessing the Power of Prolog to Bring Formal Models andMathematics to Life.- Pacioli: a PROLOG system for financial reportvalidation.- Logic Model Processing.- Symbium: Using logic programming to streamlinecitizen-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.- Prologmeets Biology.- Prolog in Automated Reasoning in Geometry.- Logic-based Explainable and IncrementalMachine Learning.- Reflectionson Automation, Learnability and Expressiveness in Logic-basedProgramming Languages.- Prolog for Scientific Explanation.- Machines asThought Partners: Reflections on 50 Years of Prolog.