Logic programming (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Logic programming" in English language version.

Last modified: 17:13:41, 25 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

3230doi.org

2^nd place

1212semanticscholar.org

15^th place

8^th place

54arxiv.org

49^th place

31^st place

44ic.ac.uk

low place

32worldcat.org

4^th place

22ijcai.org

low place

22hdl.handle.net

66^th place

34^th place

22archive.org

6^th place

22psu.edu

299^th place

159^th place

11u-szeged.hu

9,326^th place

low place

11dtic.mil

934^th place

530^th place

11researchgate.net

96^th place

89^th place

11sri.com

low place

11adsabs.harvard.edu

14^th place

9^th place

11jstor.org

23^rd place

15^th place

11acm.org

1,200^th place

821^st place

11kuleuven.be

4,526^th place

3,942^nd place

11google.co.uk

1,519^th place

727^th place

11philpapers.org

2,176^th place

1,487^th place

11amu.edu.et

low place

11sciencedirect.com

137^th place

146^th place

11archives-ouvertes.fr

1,143^rd place

973^rd place

11upenn.edu

784^th place

498^th place

acm.org (Global: 1,200^th place; English: 821^st place)

dl.acm.org

MacLennan, Bruce James (March 1983). Wexelblat, Richard L. (ed.). "Overview of relational programming". ACM SIGPLAN Notices. 18 (3). New York, NY: Association for Computing Machinery: 36–45. doi:10.1145/988209.988213. hdl:10945/29034. ISSN 0362-1340. OCLC 25073822. Retrieved 8 May 2025.

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

ui.adsabs.harvard.edu

Kornfeld, W.A.; Hewitt, C.E. (1981). "The scientific community metaphor". IEEE Transactions on Systems, Man, and Cybernetics. 11 (1): 24–33. Bibcode:1981ITSMC..11...24K. doi:10.1109/TSMC.1981.4308575. hdl:1721.1/5693. S2CID 1322857.

amu.edu.et (Global: low place; English: low place)

ds.amu.edu.et

Merritt, D., 2012. Building expert systems in Prolog. Springer Science & Business Media. https://ds.amu.edu.et/xmlui/bitstream/handle/123456789/4434/%28Text%20Book%29%20Building%20Expert%20Systems%20in%20Prolog.pdf?sequence=1&isAllowed=y

archive.org (Global: 6^th place; English: 6^th place)

Gallaire, Hervé; Minker, John 'Jack', eds. (1978), "Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977", Advances in Data Base Theory, New York: Plenum Press, ISBN 978-0-306-40060-5.
Stenning, Keith; van Lambalgen, Michiel (2008). Human reasoning and cognitive science. MIT Press. ISBN 978-0-262-19583-6.https://philpapers.org/archive/STEHRA-5.pdf

archives-ouvertes.fr (Global: 1,143^rd place; English: 973^rd place)

hal.archives-ouvertes.fr

Hewitt, Carl (27 April 2016). "Inconsistency Robustness for Logic Programs". Hal Archives. pp. 21–26. Retrieved 7 November 2016.

arxiv.org (Global: 49^th place; English: 31^st place)

Swift, T.; Warren, D.S. (January 2012). "XSB: Extending Prolog with tabled logic programming". Theory and Practice of Logic Programming. 12 (1–2): 157–187. arXiv:1012.5123. doi:10.1017/S1471068411000500. S2CID 6153112.
Denecker, M.; Ternovska, E. (2008). "A logic of nonmonotone inductive definitions". ACM Transactions on Computational Logic. 9 (2): 14:1–14:52. arXiv:cs/0501025. doi:10.1145/1342991.1342998. S2CID 13156469.
Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022). "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming. 22 (6): 776–858. arXiv:2201.10816. doi:10.1017/S1471068422000102. ISSN 1471-0684.
Arias, J.; Carro, M.; Salazar, E.; Marple, K.; Gupta, G. (2018). "Constraint Answer Set Programming without Grounding". Theory and Practice of Logic Programming. 18 (3–4): 337–354. arXiv:1804.11162. doi:10.1017/S1471068418000285. S2CID 13754645.

doi.org (Global: 2^nd place; English: 2^nd place)

Tärnlund, S.Å. (1977). "Horn clause computability". BIT Numerical Mathematics. 17 (2): 215–226. doi:10.1007/BF01932293. S2CID 32577496.
Kowalski, R. A. (1988). "The early years of logic programming" (PDF). Communications of the ACM. 31: 38–43. doi:10.1145/35043.35046. S2CID 12259230.
Winograd, Terry (1972). "Understanding natural language". Cognitive Psychology. 3 (1): 1–191. doi:10.1016/0010-0285(72)90002-3.
Kornfeld, W.A.; Hewitt, C.E. (1981). "The scientific community metaphor". IEEE Transactions on Systems, Man, and Cybernetics. 11 (1): 24–33. Bibcode:1981ITSMC..11...24K. doi:10.1109/TSMC.1981.4308575. hdl:1721.1/5693. S2CID 1322857.
Robinson, J. (1965). "Automatic deduction with hyper-resolution". International Journal of Computer Mathematics. 1 (3): 227–234. doi:10.2307/2272384. JSTOR 2272384.
Kowalski, Robert; Kuehner, Donald (1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9.
Warren, D.H.; Pereira, L.M.; Pereira, F. (1977). "Prolog-the language and its implementation compared with Lisp". ACM SIGPLAN Notices. 12 (8): 109–115. doi:10.1145/872734.806939.
Warren, D.S. (2023). "Introduction to Prolog". In Warren, D.S.; Dahl, V.; Eiter, T.; Hermenegildo, M.V.; Kowalski, R.; Rossi, F. (eds.). Prolog: The Next 50 Years. Lecture Notes in Computer Science(). Vol. 13900. Springer, Cham. pp. 3–19. doi:10.1007/978-3-031-35254-6_1. ISBN 978-3-031-35253-9.
Robinson, J. Alan (2001). "Invited Editorial". Theory and Practice of Logic Programming. 1 (1). Cambridge University Press: 1. doi:10.1017/s1471068400000028.
R.A.Kowalski (July 1979). "Algorithm=Logic + Control". Communications of the ACM. 22 (7): 424–436. doi:10.1145/359131.359136. S2CID 2509896.
Genesereth, M.R.; Ginsberg, M.L. (1985). "Logic programming". Communications of the ACM. 28 (9): 933–941. doi:10.1145/4284.4287. S2CID 15527861.
Swift, T.; Warren, D.S. (January 2012). "XSB: Extending Prolog with tabled logic programming". Theory and Practice of Logic Programming. 12 (1–2): 157–187. arXiv:1012.5123. doi:10.1017/S1471068411000500. S2CID 6153112.
MacLennan, Bruce James (March 1983). Wexelblat, Richard L. (ed.). "Overview of relational programming". ACM SIGPLAN Notices. 18 (3). New York, NY: Association for Computing Machinery: 36–45. doi:10.1145/988209.988213. hdl:10945/29034. ISSN 0362-1340. OCLC 25073822. Retrieved 8 May 2025.
Van Emden, M.H.; Kowalski, R.A. (October 1976). "The semantics of predicate logic as a programming language". Journal of the ACM. 23 (4): 733–742. doi:10.1145/321978.321991. S2CID 11048276.
Clark, K.L. (1977). "Negation as Failure". Logic and Data Bases. Boston, MA: Springer US. pp. 293–322. doi:10.1007/978-1-4684-3384-5_11. ISBN 978-1-4684-3386-9.
Gelfond, M.; Przymusinska, H.; Przymusinski, T. (1989). "On the relationship between circumscription and negation as failure". Artificial Intelligence. 38 (1): 75–94. doi:10.1016/0004-3702(89)90068-4.
Shepherdson, J.C. (1984). "Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption". The Journal of Logic Programming. 1 (1): 51–79. doi:10.1016/0743-1066(84)90023-2.
Denecker, M.; Ternovska, E. (2008). "A logic of nonmonotone inductive definitions". ACM Transactions on Computational Logic. 9 (2): 14:1–14:52. arXiv:cs/0501025. doi:10.1145/1342991.1342998. S2CID 13156469.
Rao, P.; Sagonas, K.; Swift, T.; Warren, D.S.; Freire, J. (July 28–31, 1997). XSB: A system for efficiently computing well-founded semantics. Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR'97. Dagstuhl Castle, Germany: Springer Berlin Heidelberg. pp. 430–440. doi:10.1007/3-540-63255-7_33.
W. Chen; D. S. Warren (January 1996). "Tabled Evaluation with Delaying for General Logic Programs". Journal of the ACM. 43 (1): 20–74. doi:10.1145/227595.227597. S2CID 7041379.
Phan Minh Dung (1995). "On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n–person games". Artificial Intelligence. 77 (2): 321–357. doi:10.1016/0004-3702(94)00041-X.
Sergot, M.J.; Sadri, F.; Kowalski, R.A.; Kriwaczek, F.; Hammond, P; Cory, H.T. (1986). "The British Nationality Act as a logic program" (PDF). Communications of the ACM. 29 (5): 370–386. doi:10.1145/5689.5920. S2CID 5665107.
Prakken, H.; Sartor, G. (October 2015). "Law and logic: a review from an argumentation perspective" (PDF). Artificial Intelligence. 227: 214–245. doi:10.1016/j.artint.2015.06.005. S2CID 4261497.
Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022). "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming. 22 (6): 776–858. arXiv:2201.10816. doi:10.1017/S1471068422000102. ISSN 1471-0684.
Arias, J.; Carro, M.; Salazar, E.; Marple, K.; Gupta, G. (2018). "Constraint Answer Set Programming without Grounding". Theory and Practice of Logic Programming. 18 (3–4): 337–354. arXiv:1804.11162. doi:10.1017/S1471068418000285. S2CID 13754645.
Denecker, M.; Kakas, A.C. (July 2000). "Special issue: abductive logic programming". Journal of Logic Programming. 44 (1–3): 1–4. doi:10.1016/S0743-1066(99)00078-3.
Chen, Weidong; Kifer, Michael; Warren, David S. (February 1993). "HiLog: A foundation for higher-order logic programming". Journal of Logic Programming. 15 (3): 187–230. doi:10.1016/0743-1066(93)90039-J.
Andreoli, Jean-Marc (1 June 1992). "Logic Programming with Focusing Proofs in Linear Logic". Journal of Logic and Computation. 2 (3): 297–347. doi:10.1093/logcom/2.3.297.
Hodas, Joshua; Miller, Dale (1994). "Logic Programming in a Fragment of Intuitionistic Linear Logic". Information and Computation. 110 (2): 327–365. doi:10.1006/inco.1994.1036.
Miller, Dale (30 September 1996). "Forum: A Multiple-Conclusion Specification Logic". Theoretical Computer Science. 165 (1): 201–232. doi:10.1016/0304-3975(96)00045-X.

dtic.mil (Global: 934^th place; English: 530^th place)

apps.dtic.mil

Jeff Rulifson; Jan Derksen; Richard Waldinger (November 1973). QA4, A Procedural Calculus for Intuitive Reasoning (PDF) (Technical report). SRI AI Center Technical Note 73.

google.co.uk (Global: 1,519^th place; English: 727^th place)

Thagard, Paul (2005). Mind: Introduction to Cognitive Science. The MIT Press. p. 11. ISBN 9780262701099.https://www.google.co.uk/books/edition/Mind_second_edition/gjcR1U2HT7kC?hl=en&gbpv=1&pg=PP11&printsec=frontcover

hdl.handle.net (Global: 66^th place; English: 34^th place)

Kornfeld, W.A.; Hewitt, C.E. (1981). "The scientific community metaphor". IEEE Transactions on Systems, Man, and Cybernetics. 11 (1): 24–33. Bibcode:1981ITSMC..11...24K. doi:10.1109/TSMC.1981.4308575. hdl:1721.1/5693. S2CID 1322857.
MacLennan, Bruce James (March 1983). Wexelblat, Richard L. (ed.). "Overview of relational programming". ACM SIGPLAN Notices. 18 (3). New York, NY: Association for Computing Machinery: 36–45. doi:10.1145/988209.988213. hdl:10945/29034. ISSN 0362-1340. OCLC 25073822. Retrieved 8 May 2025.

ic.ac.uk (Global: low place; English: low place)

doc.ic.ac.uk

Kowalski, R. A. (1988). "The early years of logic programming" (PDF). Communications of the ACM. 31: 38–43. doi:10.1145/35043.35046. S2CID 12259230.
Kowalski, Robert; Kuehner, Donald (1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9.
Kowalski, Robert (1973). "Predicate Logic as a Programming Language" (PDF). Department of Artificial Intelligence, Edinburgh University. Memo 70. Also in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569–574.
Sergot, M.J.; Sadri, F.; Kowalski, R.A.; Kriwaczek, F.; Hammond, P; Cory, H.T. (1986). "The British Nationality Act as a logic program" (PDF). Communications of the ACM. 29 (5): 370–386. doi:10.1145/5689.5920. S2CID 5665107.

ijcai.org (Global: low place; English: low place)

Green, Cordell. Application of Theorem Proving to Problem Solving (PDF). IJCAI 1969.
Hewitt, Carl. Planner: A Language for Proving Theorems in Robots (PDF). IJCAI 1969.

jstor.org (Global: 23^rd place; English: 15^th place)

Robinson, J. (1965). "Automatic deduction with hyper-resolution". International Journal of Computer Mathematics. 1 (3): 227–234. doi:10.2307/2272384. JSTOR 2272384.

kuleuven.be (Global: 4,526^th place; English: 3,942^nd place)

lirias.kuleuven.be

Denecker, M.; Ternovska, E. (2008). "A logic of nonmonotone inductive definitions". ACM Transactions on Computational Logic. 9 (2): 14:1–14:52. arXiv:cs/0501025. doi:10.1145/1342991.1342998. S2CID 13156469.

philpapers.org (Global: 2,176^th place; English: 1,487^th place)

Stenning, Keith; van Lambalgen, Michiel (2008). Human reasoning and cognitive science. MIT Press. ISBN 978-0-262-19583-6.https://philpapers.org/archive/STEHRA-5.pdf

psu.edu (Global: 299^th place; English: 159^th place)

citeseerx.ist.psu.edu

Van Lambalgen, M. and Hamm, F., 2008. The proper treatment of events. John Wiley & Sons. https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=3126320bb6e37ca3727fed404828b53fc56ff063
Kobayashi, Naoki; Yonezawa, Akinori (1994). Asynchronous communication model based on linear logic. US/Japan Workshop on Parallel Symbolic Computing. pp. 279–294. CiteSeerX 10.1.1.42.8749. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)

researchgate.net (Global: 96^th place; English: 89^th place)

McDermott, D.V.; Sussman, G.J. (May 1972). The Conniver reference manual (Technical report). Artificial Intelligence Memo No. 259.

sciencedirect.com (Global: 137^th place; English: 146^th place)

Prakken, H.; Sartor, G. (October 2015). "Law and logic: a review from an argumentation perspective" (PDF). Artificial Intelligence. 227: 214–245. doi:10.1016/j.artint.2015.06.005. S2CID 4261497.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Tärnlund, S.Å. (1977). "Horn clause computability". BIT Numerical Mathematics. 17 (2): 215–226. doi:10.1007/BF01932293. S2CID 32577496.
Kowalski, R. A. (1988). "The early years of logic programming" (PDF). Communications of the ACM. 31: 38–43. doi:10.1145/35043.35046. S2CID 12259230.
Kornfeld, W.A.; Hewitt, C.E. (1981). "The scientific community metaphor". IEEE Transactions on Systems, Man, and Cybernetics. 11 (1): 24–33. Bibcode:1981ITSMC..11...24K. doi:10.1109/TSMC.1981.4308575. hdl:1721.1/5693. S2CID 1322857.
R.A.Kowalski (July 1979). "Algorithm=Logic + Control". Communications of the ACM. 22 (7): 424–436. doi:10.1145/359131.359136. S2CID 2509896.
Genesereth, M.R.; Ginsberg, M.L. (1985). "Logic programming". Communications of the ACM. 28 (9): 933–941. doi:10.1145/4284.4287. S2CID 15527861.
Swift, T.; Warren, D.S. (January 2012). "XSB: Extending Prolog with tabled logic programming". Theory and Practice of Logic Programming. 12 (1–2): 157–187. arXiv:1012.5123. doi:10.1017/S1471068411000500. S2CID 6153112.
Van Emden, M.H.; Kowalski, R.A. (October 1976). "The semantics of predicate logic as a programming language". Journal of the ACM. 23 (4): 733–742. doi:10.1145/321978.321991. S2CID 11048276.
Denecker, M.; Ternovska, E. (2008). "A logic of nonmonotone inductive definitions". ACM Transactions on Computational Logic. 9 (2): 14:1–14:52. arXiv:cs/0501025. doi:10.1145/1342991.1342998. S2CID 13156469.
W. Chen; D. S. Warren (January 1996). "Tabled Evaluation with Delaying for General Logic Programs". Journal of the ACM. 43 (1): 20–74. doi:10.1145/227595.227597. S2CID 7041379.
Sergot, M.J.; Sadri, F.; Kowalski, R.A.; Kriwaczek, F.; Hammond, P; Cory, H.T. (1986). "The British Nationality Act as a logic program" (PDF). Communications of the ACM. 29 (5): 370–386. doi:10.1145/5689.5920. S2CID 5665107.
Prakken, H.; Sartor, G. (October 2015). "Law and logic: a review from an argumentation perspective" (PDF). Artificial Intelligence. 227: 214–245. doi:10.1016/j.artint.2015.06.005. S2CID 4261497.
Arias, J.; Carro, M.; Salazar, E.; Marple, K.; Gupta, G. (2018). "Constraint Answer Set Programming without Grounding". Theory and Practice of Logic Programming. 18 (3–4): 337–354. arXiv:1804.11162. doi:10.1017/S1471068418000285. S2CID 13754645.

sri.com (Global: low place; English: low place)

Reboh, R.; Sacerdoti, E.D. (August 1973). A preliminary QLISP manual (Technical report). Artificial Intelligence Center, SRI International.

u-szeged.hu (Global: 9,326^th place; English: low place)

cyber.bibl.u-szeged.hu

Andréka, H.; Németi, I. (1978). "The generalised completeness of Horn predicate-logic as a programming language". Acta Cybernetica. 4 (1): 3–10.

upenn.edu (Global: 784^th place; English: 498^th place)

repository.upenn.edu

Hodas, Joshua; Miller, Dale (1994). "Logic Programming in a Fragment of Intuitionistic Linear Logic". Information and Computation. 110 (2): 327–365. doi:10.1006/inco.1994.1036.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

MacLennan, Bruce James (March 1983). Wexelblat, Richard L. (ed.). "Overview of relational programming". ACM SIGPLAN Notices. 18 (3). New York, NY: Association for Computing Machinery: 36–45. doi:10.1145/988209.988213. hdl:10945/29034. ISSN 0362-1340. OCLC 25073822. Retrieved 8 May 2025.
Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022). "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming. 22 (6): 776–858. arXiv:2201.10816. doi:10.1017/S1471068422000102. ISSN 1471-0684.

Logic programming (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

dl.acm.org

adsabs.harvard.edu (Global: 14th place; English: 9th place)

ui.adsabs.harvard.edu

amu.edu.et (Global: low place; English: low place)

ds.amu.edu.et

archive.org (Global: 6th place; English: 6th place)

archives-ouvertes.fr (Global: 1,143rd place; English: 973rd place)

hal.archives-ouvertes.fr

arxiv.org (Global: 49th place; English: 31st place)

doi.org (Global: 2nd place; English: 2nd place)

dtic.mil (Global: 934th place; English: 530th place)

apps.dtic.mil

google.co.uk (Global: 1,519th place; English: 727th place)

hdl.handle.net (Global: 66th place; English: 34th place)

ic.ac.uk (Global: low place; English: low place)

doc.ic.ac.uk

ijcai.org (Global: low place; English: low place)

jstor.org (Global: 23rd place; English: 15th place)

kuleuven.be (Global: 4,526th place; English: 3,942nd place)

lirias.kuleuven.be

philpapers.org (Global: 2,176th place; English: 1,487th place)

psu.edu (Global: 299th place; English: 159th place)

citeseerx.ist.psu.edu

researchgate.net (Global: 96th place; English: 89th place)

sciencedirect.com (Global: 137th place; English: 146th place)

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

sri.com (Global: low place; English: low place)

u-szeged.hu (Global: 9,326th place; English: low place)

cyber.bibl.u-szeged.hu

upenn.edu (Global: 784th place; English: 498th place)

repository.upenn.edu

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

acm.org (Global: 1,200^th place; English: 821^st place)

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

archive.org (Global: 6^th place; English: 6^th place)

archives-ouvertes.fr (Global: 1,143^rd place; English: 973^rd place)

arxiv.org (Global: 49^th place; English: 31^st place)

doi.org (Global: 2^nd place; English: 2^nd place)

dtic.mil (Global: 934^th place; English: 530^th place)

google.co.uk (Global: 1,519^th place; English: 727^th place)

hdl.handle.net (Global: 66^th place; English: 34^th place)

jstor.org (Global: 23^rd place; English: 15^th place)

kuleuven.be (Global: 4,526^th place; English: 3,942^nd place)

philpapers.org (Global: 2,176^th place; English: 1,487^th place)

psu.edu (Global: 299^th place; English: 159^th place)

researchgate.net (Global: 96^th place; English: 89^th place)

sciencedirect.com (Global: 137^th place; English: 146^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

u-szeged.hu (Global: 9,326^th place; English: low place)

upenn.edu (Global: 784^th place; English: 498^th place)

worldcat.org (Global: 4^th place; English: 4^th place)