Introduction to
Logic Programming


C. Baral, M. Gelfond: "Logic Programming and Knowledge Representation", in the Journal of Logic Programming, 19-20, 1994, 73-148, doi:10.1016/0743-1066(94)90025-6.

A. J. Bonner, M. Kifer: "Transaction Logic Programming", Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, 1993.

V. K. Chaudhri, S. J. Heymans, M. Wessel, S. C. Tran: "Object-Oriented Knowledge Bases in Logic Programming", Technical communication of International Conference in Logic Programming 2013.

K. L. Clark, S.-A. Tarnlund: Logic Programming, Academic Press, 1982.

W. F. Clocksin, C. S. Mellish: Programming in Prolog, Springer-Verlag, 1984.

C. J. Date: WHAT Not HOW - The Business Rules Approach to Application Development, Addison-Wesley, 2000.

R. Dechter, D. Cohen: Constraint Processing, Morgan Kaufmann, 2003.

D. DeGrout, G. Lindstrom (eds): Logic Programming: Functions, Relations, and Equations, Prentice Hall, 1986.

M. Gelfond, Y. Kahl: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, 1st edition (March 10, 2014).

M. R. Genesereth, M. L. Ginsberg: Logic Programmming, CACM 28, 9, 1985, 933-941.

M. R. Genesereth, A. Mohaptra: A Practical Algorithm for Reformulation of Deductive Databases, SAC 19, 2019, Limassol, Cyprus.

C. Hewitt: "Planner: A Language for Proving Theorems in Robots", IJCAI, 1969.

P. Hayes: "Computation and Deduction", in Proceedings of the 2nd MFCS Symposium, Czechoslovak Academy of Sciences, 1973, 105-118.

R. Kowalski: "Predicate Logic as a Programming Language", in Proceedings IFIP Congress, Stockholm, North Holland, 1974, 569-574.

R. Kowalski: "Algorithm = Logic + Control". CACM 22, 7, 1979, 424-436.

R. Kowalski.: Logic for Problem Solving, North-Holland, 1979.

R. Kowalski: "The Early Years of Logic Programming" CACM, 31, 1987, 38-43. doi:10.1145/35043.35046.

R. Kowalski, F. Sadri: Programming in Logic without Logic Programming, TPLP, 16, 2016, 269-295.

V. Lifschitz: Answer Set Programming. Springer Verlag, 1st edition, October 3rd, 2019.

J. W. Lloyd: Foundations of Logic Programming, Springer-Verlag, 1988.

S. H. Muggleton: Latest Advances in Inductive Logic Programming, Imperial College Press. 2015.

M.-L. Mugnier, M. Thomazo: "An Introduction to Ontology-Based Query Answering with Existential Rules", Proceedings of Reasoning Web: Reasoning on the Web in the Big Data Era, 10th International Summer School, Athens, Greece, September 8-13, 2014.

F. Rossi, P. Van Beek, T. Walsh (eds): Handbook of Constraint Programming, Elsevier, 2006.

Tekle, Liu: Subsumptive Tabling Beats Magic Sets, SIGMOD 2011.

J. McCarthy: Programs with common sense, Symposium on Mechanization of Thought Processes. National Physical Laboratory, Teddington, England, 1958.

J. McCarthy: "Generality in Artificial Intelligence", CACM, December 1987.

J. Minker: "On Indefinite Databases and the Closed World Assumption", in International Conference on Automated Deduction, Springer, Berlin, Heidelberg, 1982, 292-308.

S. J. Russell, P. Norvig: Artificial Intelligence: A Modern Approach, Pearson Education Limited, 2016.

M. J. Sergot, F. Sadri, R. Kowalski, F. Kriwaczek, P. Hammond, H. T. Cory: The British Nationality Act as a Logic Program, CACM, 29, 5, 1986, 370-386.

J. D. Ullman: Bottom-up beats top-down for Datalog, PODS 89, 1989.

J. D. Ullman: Principles of Database and Knowledge-Base Systems - Volume II: The New Technologies, Computer Science Press, 1989.