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