 C. Baral, M. Gelfond: "Logic Programming and Knowledge Representation", in the Journal of Logic Programming, 1920, 1994, 73148, doi:10.1016/07431066(94)900256.
 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: "ObjectOriented 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, SpringerVerlag, 1984.
 C. J. Date: WHAT Not HOW  The Business Rules Approach to Application Development, AddisonWesley, 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 AnswerSet Programming Approach. Cambridge University Press, 1st edition (March 10, 2014).
 M. R. Genesereth, M. L. Ginsberg: Logic Programmming, CACM 28, 9, 1985, 933941.
 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, 105118.
 R. Kowalski: "Predicate Logic as a Programming Language", in Proceedings IFIP Congress, Stockholm, North Holland, 1974, 569574.
 R. Kowalski: "Algorithm = Logic + Control". CACM 22, 7, 1979, 424436.
 R. Kowalski.: Logic for Problem Solving, NorthHolland, 1979.
 R. Kowalski: "The Early Years of Logic Programming" CACM, 31, 1987, 3843. doi:10.1145/35043.35046.
 R. Kowalski, F. Sadri: Programming in Logic without Logic Programming,
TPLP, 16, 2016, 269295.
 V. Lifschitz: Answer Set Programming. Springer Verlag, 1st edition, October 3rd, 2019.
 J. W. Lloyd: Foundations of Logic Programming, SpringerVerlag, 1988.
 S. H. Muggleton: Latest Advances in Inductive Logic Programming, Imperial College Press. 2015.
 M.L. Mugnier, M. Thomazo: "An Introduction to OntologyBased 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 813, 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, 292308.
 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, 370386.
 J. D. Ullman: Bottomup beats topdown for Datalog, PODS 89, 1989.
 J. D. Ullman: Principles of Database and KnowledgeBase Systems  Volume II: The New Technologies, Computer Science Press, 1989.
