Editing Logic programming (section)

===General introductions===
<!--These sources are consider good introductions to the subject as a whole and can be used to verify most of the points made in the article-->
* {{Cite journal | doi = 10.1016/0743-1066(94)90025-6| title = Logic programming and knowledge representation| journal = The Journal of Logic Programming| volume = 19–20| pages = 73–148| year = 1994| last1 = Baral | first1 = C. | last2 = Gelfond | first2 = M. | url=http://redwood.cs.ttu.edu/~mgelfond/PAPERS/survey.pdf| doi-access = free}}
* {{Cite journal| doi = 10.1145/35043.35046 | last1 = Kowalski | first1 = R. A. | title = The early years of logic programming | journal = Communications of the ACM | volume = 31 | pages = 38–43 | year = 1988 | s2cid = 12259230 |url=http://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf}} [http://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf]
* {{Cite book | title = Foundations of Logic Programming | last1 = Lloyd | first1 = J. W. | year = 1987 | publisher = Springer-Verlag | edition = 2nd}}