If the paper is directly downloadable, a link is given.
- Prolog Héritage: The Prologs from Marseille
- There is a lot of further pointers at softwarepreservation.org
- 1988: The Early Years of Logic Programming
- Robert Kowalski's
- Appears in "Communications of the ACM", 1988-01: https://cacm.acm.org/magazines/1988/1
- 1992-11: The birth of Prolog
- Alain Colmerauer and Philippe Roussel
- 1993: 1983--1993: The Wonder Years of Sequential Prolog Implementation
- Peter Van Roy
- This report surveys the major developments in sequential Prolog implementation during the period 1983--1993. In this decade, implementation technology has matured to such a degree that Prolog has left the university and become useful in industry.
- Related: The Early Days of Prolog in Hungary - a personal account by Peter Szeredi
- 1996: Logic and Databases: a 20 Year Retrospective
- Jack Minker
- Contains a table of the query complexity of various types of logic programs
- 2014: History of Logic Programming.
- Robert Kowalski
- 1970 A Relational Model for Large Shared Data Banks (paywalled)
- Edgar Frank "Ted" Codd
- Communications of the ACM 13, 6 (June 1970), 377-387
- 1972 Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot
- Carl Hewitt
- AI Memo No. 251, MIT Project MAC, Cambridge, Mass., April 1972.
- 1978 Logic and Databases (Proceedings)
- Hervé Gallaire, Jack Minker (eds.)
- Plenum Press New York, a Division of Plenum Publishing Corporation
- Proceedings of the Symposium on Logic and Data Bases held at the Centre d'Études et de Recherches de L'École Nationale Supérieure de L'Aéronautique et de L'Espace de Toulouse (C.E.R.T.), Toulouse, France, November 16-18, 1977
- Contains among others:
- On Closed World Data Bases by Raymond Reiter
- Logic for Data Description by Robert Kowlaski
- Negation as Failure by Keith L. Clark
- A follow-up paper is Logic and Databases: a 20 Year Retrospective by Jack Minker, 1996.
- 1978 Negation as Failure
- Keith Clark
- 1978 On Closed World Data Bases (paywalled)
- Raymond Reiter
- Description of the "Closed World Assumption", which applies to deductive databases (i.e. logic programs w/o function symbols).
- 1978 Logic for Data Description (paywalled)
- Robert Kowalski
- 1979 Logic for Problem Solving
- Robert Kowalski
- North Holland / Elsevier Publishing Co. Inc.
- An introduction to 70's Prolog, 299 pages
- At this page, Robert Kowlaski writes: "The book was originally published in 1979 and based on lecture notes written in 1974. The preface describes the goals of the book in the following terms: 'This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be appropriate therefore as an introduction to logic. the theory of problem-solving, and computer programming".
- There is a 2014 update by Robert Kowalski and Thom Frühwirth with the title: Logic for Problem Solving, Revisited.
- 1982 On indefinite databases and the closed world assumption (paywalled)
- Jack Minker
- In: CADE 1982: 6th Conference on Automated Deduction, Springer LNCS 138, pp 292-308
- 1984 Making Prolog more expressive
- J.W. Lloyd, R.W. Topor
- Journal of Logic Programming, 1984:3 pp 225-240
- 1986 Seventy-Five Problems for Testing Automatic Theorem Provers
- Francis Jeffry Pelletier
- Journal of Automated Reasoning 2(2):191-216 (June 1986)
- 1988 Towards a Theory of Declarative Knowledge (PDF): Stratified Logic Programs
- Krzystof R. Apt, Howard A. Blair, Adrian Walker
- In Foundations of Deductive Databases and Logic Programming, J. Minker ed., Morgan Kaufmann Publishers Inc. 1988, pp 89-148
- In Stratified Logic Program (PDF) Marke Sergot, writes:
Several groups of people — Apt, Blair, and Walker, Przymusinski, van Gelder, Naqui, Topor (and others) — came up with the same idea at about the same time. Some of them were working in logic programming, some of them were working in databases.
- 1988-05 An inquiry into computer understanding (paywalled)
- Peter Cheeseman
- In Computational Intelligence Volume 4, Issue 2 (May 1988)
Explains why logic is not suited for Artificial Intelligence applications as it is too "crisp" to work adequately in situations of uncertain and nonmonotonic reasoning. The author proposes Bayesian Probabilistic Reasoning instead, with (classical, binary) logic being the "crisp" limit. (Fuzzy logic is seens as inadequate as crisp logic, being unable to express the fact that a "fuzzy value" should change if "more information" about a situation is acquired.)
- 1988-09 Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (book)
- Judea Pearl
- Morgan Kaufmann Publishers, 552 pages.
- Chapter 10: Logic and Probability: The Strange Connection (pp. 467-521)
explains schemes of default logic, their shortcomings and how these are fixed by probabilistic reasoning.
- 1989 What you always wanted to know about Datalog (and never dared to ask)
- Stefan Ceri, Georg Gottlob, Letizia Tanca
- IEEE Transactions on Knowledge and Data Engineering, March 1989
- 1989-10 A denotational semantics for Prolog
- Tim Nicholson, Norma Foo
- ACM Transactions on Programming Languages and Systems, October 1989
- With: Some comments on “a denotational semantics for Prolog”
- Bijan Arbab, Daniel M. Berry
- ACM Transactions on Programming Languages and Systems, May 1994
- 1991-01 Applying Techniques to Skeletons
- Leon Sterling, Marc Kirschenbaum
- 1991-02 A type system for logic programs
- Eyal Yardeni, Ehud Shapiro
- Journal of Logic Programming, Volume 10, Issue 2
- 1991 Uniform Proofs as a Foundation for Logic Programming
- Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov
- the Lambda-Prolog way
- 1994 Correctness of unification without occur check in prolog
- Ritu Chadha, David A.Plaisted
- Journal of Logic Programming, Volume 18, Issue 2, February 1994, Pages 99-122
- 1995 Higher-order logic programming in Prolog
- Lee Naish
- 1995 leanTAP: Lean Tableau-based Deduction
- Bernhard Beckert, Joachim Posegga
- Journal of Automated Reasoning, volume 15, pages 339–358 (1995)
- 1996 Querying disjunctive databases through nonmonotonic logics
- Piero A. Bonatti, Thomas Eiter
- Theoretical Computer Science 160 18996) 321-363
- "Received August 1994; revised August 1995, Communicated by H. Katsuno"
- 1998 Disjunctive Logic Program = Horn Program + Control Program
- Also: https://core.ac.uk/display/40700435
- Wenjin Lu, Ulrich Furbach
- 1999 CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming
- Wenjin Lu
- Proceedings of the Twelfth International FLAIRS Conference, AAAI
- 2001-04 Logic Programming, Functional Programming, and Inductive Definitions
- Lawrence Paulson, Andrew W. Smith
- 2001-06 Odd Prolog benchmarking
- KU Leuven Technical Report CW 312
- B. Demoen, P.-L. Nguyen
- 2001-10 Nominal Logic: A First Order Theory of Names and Binding
- Andrew M. Pitts
- Theoretical Aspects of Computer Science, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001
- Springer LNCS 2215, pp 219-242
- also in "Information and Computation", Volume 186, Issue 2, November 2003, Pages 165-193
- 2002-07 Abduction in Logic Programming
- Marc Denecker, Antonis Kakas
- Computational Logic: Logic Programming and Beyond, Springer LNCS 2407, pp 402-436
- 2003-10 An Overview of Linear Logic Programming
- Dale Miller
- 2003-10 The Essence of Strategic Programming
- Ralf Lämmel, Eelco Visser, Joost Visser
- generic programming with the use of strategies
- 2009-09 Comparing Unification Algorithms in First-Order Theorem Proving
- Kryŝtof Hoder, Andrei Voronkov
- in KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings Book page
- 2009-11 Coding Guidelines for Prolog
- Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price
- 2009 As Time Goes By: A Survey of CHR Research from 1998 to 2007
- Jon Sneyers, Peter van Weert, Tom Schrijvers, Leslie de Koninck
- This preprint carries the date "2003", which is impossible and must be some default.
- 2011 Answer Set Programming’s Contributions to Classical Logic
- Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
- Springer LNAI 6565
- Stable Semantics
- 2012-04 Programming Paradigms for Dummies: What Every Programmer Should Know
- Peter Van Roy (Université Catholique de Louvain)
- 2013-05 Truth versus Information in Logic Programming
- Lee Naish, Harold Sondergaard
- 2015-01 The sad state concerning the relationships between Logic, Rules and Logic Programming
- Robert Kowalski
- 2015-02 An Elementary Prolog Library - DRAFT 19, February 2015
- Richard O'Keefe
- 2015-10 The Inductive Constraint Programming Loop
- Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis
- Appears in modified form in IEEE Intelligent Systems, September/October 2017.
- 2016-07 Indexing
dif/2- Ulrich Neumerkel, Stefan Kral
- 2017-09 plspec – A Specification Language for Prolog Data
- Philipp Körner, Sebastian Krings
- DECLARE 2017
- 2018-09 Declarative Logic Programming: Theory, Systems, and Applications (book)
- Michael Kifer, Yanhong Annie Liu
- Association for Computing Machinery and Morgan & Claypool
- From the book:
Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling. The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students.
- 2019-09 Prolog Coding Guidelines: Status and Tool Support
- Falco Nogatz, Philipp Körner, Seastuan Krings
- ICLP 2019
- 2020-01 Drawing Prolog Search Trees. A Manual for Teachers and Students of Logic Programming
- Johan Bos
- 2020-08 Effectiveness of Annotation-Based Static Type Inference
- Isabel Wingen, Philipp Körner
See the Bibliography on "Negation"
- The Event Calculus Explained
- Murray Shanahan
- 1999
- Springer Link page
- Appears in: Artificial Intelligence Today: Recent Trends and Developments, Springer LNAI 1600, 1999, pp 409-430
- **Knowledge In Action: Logical Foundations for Specifying and Implementing Dynamical Systems **
- Raymond Reiter
- July 2001
- MIT Press