Editing Logic programming (section)

===Other sources===
<!--These sources are referred to specifically in the text of the article and can be used to verify specific points made in the article-->
* John McCarthy. [http://www.cs.rit.edu/~rlaz/is2014/files/McCarthyProgramsWithCommonSense.pdf "Programs with common sense"]. ''Symposium on Mechanization of Thought Processes''. National Physical Laboratory. Teddington, England. 1958.
* {{cite journal|title= Uniform proofs as a foundation for logic programming|journal= Annals of Pure and Applied Logic|volume= 51|issue= 1–2|pages= 125–157|doi= 10.1016/0168-0072(91)90068-W|year= 1991|last1= Miller|first1= Dale|last2= Nadathur|first2= Gopalan|last3= Pfenning|first3= Frank|last4= Scedrov|first4= Andre|url= https://repository.upenn.edu/cis_reports/711|doi-access= free}}
* Ehud Shapiro (Editor). ''Concurrent Prolog''. MIT Press. 1987.
* James Slagle. [https://dl.acm.org/doi/abs/10.1145/365691.365960 "Experiments with a Deductive Question-Answering Program"]. CACM. December 1965.
* [[Dov Gabbay|Gabbay, Dov M.]]; Hogger, Christopher John; Robinson, J.A., eds. (1993-1998). [https://www.worldcat.org/oclc/26300491 Handbook of Logic in Artificial Intelligence and Logic Programming].Vols. 1–5, Oxford University Press.