- 2023
- José F. Morales, Salvador Abreu
, Daniela Ferreiro, Manuel V. Hermenegildo:
Teaching Prolog with Active Logic Documents. Prolog: The Next 50 Years 2023: 171-183 - Carl Andersen, Theresa Swift:
The Janus System: A Bridge to New Prolog Applications. Prolog: The Next 50 Years 2023: 93-104 - Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias
, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro:
Prolog: Past, Present, and Future. Prolog: The Next 50 Years 2023: 48-61 - Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta:
Logic-Based Explainable and Incremental Machine Learning. Prolog: The Next 50 Years 2023: 346-358 - Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years 2023: 300-317 - Nick Bassiliades
, Ilias Sakellariou
, Petros Kefalas
:
Demonstrating Multiple Prolog Programming Techniques Through a Single Operation. Prolog: The Next 50 Years 2023: 71-81 - Miguel Calejo, Charles Hoffman:
Pacioli: A PROLOG System for Financial Report Processing. Prolog: The Next 50 Years 2023: 248-259 - Laura Andrea Cecchi
, Jorge Pablo Rodríguez
, Verónica Dahl
:
Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children? Prolog: The Next 50 Years 2023: 131-143 - Laurent Cervoni, Julien Brasseur, Jean Rohmer:
Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit. Prolog: The Next 50 Years 2023: 124-130 - Verónica Dahl
, Laura Andrea Cecchi
:
Introducing Prolog in Language-Informed Ways. Prolog: The Next 50 Years 2023: 154-167 - Pierre Dissaux:
Logic Model Processing. Prolog: The Next 50 Years 2023: 260-270 - Peter A. Flach
, Kacper Sokol
, Jan Wielemaker
:
Simply Logical - The First Three Decades. Prolog: The Next 50 Years 2023: 184-193 - Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally:
Machines as Thought Partners: Reflections on 50 Years of Prolog. Prolog: The Next 50 Years 2023: 386-392 - Michael R. Genesereth:
Prolog as a Knowledge Representation Language the Nature and Importance of Prolog. Prolog: The Next 50 Years 2023: 38-47 - Michael R. Genesereth:
Dynamic Logic Programming. Prolog: The Next 50 Years 2023: 197-209 - Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield:
Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years 2023: 224-236 - Manuel V. Hermenegildo, José F. Morales, Pedro López-García
:
Some Thoughts on How to Teach Prolog. Prolog: The Next 50 Years 2023: 107-123 - Manuel V. Hermenegildo, José F. Morales, Pedro López-García
, Manuel Carro:
Types, Modes and so Much More - The Prolog Way. Prolog: The Next 50 Years 2023: 23-37 - Robert A. Kowalski, Jacinto A. Dávila
, Galileo Sartor
, Miguel Calejo:
Logical English for Law and Education. Prolog: The Next 50 Years 2023: 287-299 - Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila
:
Combining Logic Programming and Imperative Programming in LPS. Prolog: The Next 50 Years 2023: 210-223 - Tristan Krueger, Abhijeet Mohapatra, Michael R. Genesereth:
Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions. Prolog: The Next 50 Years 2023: 271-276 - Michael Leuschel
:
ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life. Prolog: The Next 50 Years 2023: 239-247 - Vesna Marinkovic
:
Prolog in Automated Reasoning in Geometry. Prolog: The Next 50 Years 2023: 334-345 - Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Prolog Meets Biology. Prolog: The Next 50 Years 2023: 318-333 - Jean-Christophe Rohner
, Håkan Kjellerstrand
:
Prolog for Scientific Explanation. Prolog: The Next 50 Years 2023: 372-385 - Ken Satoh:
PROLEG: Practical Legal Reasoning System. Prolog: The Next 50 Years 2023: 277-283 - Veneta Tabakova-Komsalova
, Stanimir Stoyanov
, Asya Stoyanova-Doycheva
, Lyubka Doukovska
:
Prolog Education in Selected Secondary Schools in Bulgaria. Prolog: The Next 50 Years 2023: 144-153 - Paul Tarau:
Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages. Prolog: The Next 50 Years 2023: 359-371 - David Scott Warren
:
Introduction to Prolog. Prolog: The Next 50 Years 2023: 3-19 - David Scott Warren
:
Writing Correct Prolog Programs. Prolog: The Next 50 Years 2023: 62-70