Prolog (English Wikipedia)

Kirschenbaum, M.; Sterling, L.S. (1993). "Applying techniques to skeletons". In Jacquet, J. M. J. (ed.). Constructing logic programs. Wiley Professional Computing. John Wiley & Sons. pp. 127–140. CiteSeerX 10.1.1.56.7278. ISBN 978-0-471-93789-0. {{cite book}}: Cite uses deprecated parameter |citeseerx= (help)

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

ui.adsabs.harvard.edu

"Question answering: from partitions to Prolog".

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

Stickel, M. E. (1988). "A prolog technology theorem prover: Implementation by an extended prolog compiler". Journal of Automated Reasoning. 4 (4): 353–380. CiteSeerX 10.1.1.47.3057. doi:10.1007/BF00297245. S2CID 14621218. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Merritt, Dennis (1989). Building expert systems in Prolog. Berlin: Springer-Verlag. ISBN 978-0-387-97016-5.
Pountain, Dick (October 1984). "POP and SNAP". Byte. p. 381. Retrieved 23 October 2013.
Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei (2001). "Complexity and Expressive Power of Logic Programming". ACM Computing Surveys. 33 (3): 374–425. CiteSeerX 10.1.1.616.6372. doi:10.1145/502807.502810. S2CID 518049. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Bramer, M. A.; Bramer, Dawn (1984). The fifth generation: an annotated bibliography. Wokingham, England; Reading, Mass: Addison-Wesley. p. 6. ISBN 978-0-201-14427-7.
Mycroft, A.; O'Keefe, R. A. (1984). "A polymorphic type system for prolog". Artificial Intelligence. 23 (3): 295. doi:10.1016/0004-3702(84)90017-1.
Roy, P.; Demoen, B.; Willems, Y. D. (1987). "Improving the execution speed of compiled Prolog with modes, clause selection, and determinism". Tapsoft '87. Lecture Notes in Computer Science. Vol. 250. pp. 111. doi:10.1007/BFb0014976. ISBN 978-3-540-17611-4.

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

Covington, Michael A.; Bagnara, Roberto; O'Keefe, Richard A.; Wielemaker, Jan; Price, Simon (2011). "Coding guidelines for Prolog". Theory and Practice of Logic Programming. 12 (6): 889–927. arXiv:0911.2899. doi:10.1017/S1471068411000391. S2CID 438363.
Swift, T.; Warren, D. S. (2011). "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.
Covington, Michael; Bagnara, Roberto; et al. (2010). "Coding guidelines for Prolog". arXiv:0911.2899 [cs.PL].
Loke, S. W.; Davison, A. (2001). "Secure Prolog-based mobile code". Theory and Practice of Logic Programming. 1 (3): 321. arXiv:cs/0406012. CiteSeerX 10.1.1.58.6610. doi:10.1017/S1471068401001211. S2CID 11754347. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

books.google.com (Global: 3^rd place; English: 3^rd place)

Kent D. Lee (19 January 2015). Foundations of Programming Languages. Springer. pp. 298–. ISBN 978-3-319-13314-0.
Ute Schmid (21 August 2003). Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning. Springer Science & Business Media. ISBN 978-3-540-40174-2.
Carlsson, Mats (27 May 2014). SICStus Prolog User's Manual 4.3: Core reference documentation. BoD – Books on Demand. ISBN 978-3-7357-3744-1 – via Google Books.
"Software that takes games seriously". New Scientist. Reed Business Information. March 26, 1987. p. 34 – via Google Books.^{[permanent dead link]}

britannica.com (Global: 37^th place; English: 64^th place)

"Computer science - Programming Languages, Syntax, Algorithms | Britannica". www.britannica.com. Retrieved 2023-07-12.

cam.ac.uk (Global: 569^th place; English: 354^th place)

cl.cam.ac.uk

"Statically Allocated Systems".

ceur-ws.org (Global: low place; English: low place)

Processing OWL2 Ontologies using Thea: An Application of Logic Programming. Vangelis Vassiliadis, Jan Wielemaker and Chris Mungall. Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23–24, 2009

cuny.edu (Global: 2,325^th place; English: 1,345^th place)

sci.brooklyn.cuny.edu

Zhou, Neng-Fa; Sato, Taisuke (2003). "Efficient Fixpoint Computation in Linear Tabling" (PDF). Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming: 275–283.

cwi.nl (Global: low place; English: low place)

Apt, K. R.; Marchiori, E. (1994). "Reasoning about Prolog programs: From modes through types to assertions". Formal Aspects of Computing. 6 (S1): 743. CiteSeerX 10.1.1.57.395. doi:10.1007/BF01213601. S2CID 12235465. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

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

Stickel, M. E. (1988). "A prolog technology theorem prover: Implementation by an extended prolog compiler". Journal of Automated Reasoning. 4 (4): 353–380. CiteSeerX 10.1.1.47.3057. doi:10.1007/BF00297245. S2CID 14621218. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Kowalski, R. A. (1988). "The early years of logic programming" (PDF). Communications of the ACM. 31: 38. doi:10.1145/35043.35046. S2CID 12259230.
Colmerauer, A.; Roussel, P. (1993). "The birth of Prolog" (PDF). ACM SIGPLAN Notices. 28 (3): 37. doi:10.1145/155360.155362.
Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei (2001). "Complexity and Expressive Power of Logic Programming". ACM Computing Surveys. 33 (3): 374–425. CiteSeerX 10.1.1.616.6372. doi:10.1145/502807.502810. S2CID 518049. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Covington, Michael A.; Bagnara, Roberto; O'Keefe, Richard A.; Wielemaker, Jan; Price, Simon (2011). "Coding guidelines for Prolog". Theory and Practice of Logic Programming. 12 (6): 889–927. arXiv:0911.2899. doi:10.1017/S1471068411000391. S2CID 438363.
Sterling, Leon (2002). Computational Logic: Logic Programming and Beyond. Vol. 2407. pp. 17–26. doi:10.1007/3-540-45628-7_15. ISBN 978-3-540-43959-2.
Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; Jose F. Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu; Giovanni Ciatto (November 2022), "Fifty Years of Prolog and Beyond", Theory and Practice of Logic Programming, 22 (6): 776–858, doi:10.1017/S1471068422000102, hdl:10174/33387
Abreu, Salvador; Nogueira, Vitor (2006). "Using a Logic Programming Language with Persistence and Contexts". Declarative Programming for Knowledge Management. Lecture Notes in Computer Science. Vol. 4369. pp. 38–47. doi:10.1007/11963578_4. ISBN 978-3-540-69233-1.
Cabeza, Daniel; Hermenegildo, Manuel (2000). "A New Module System for Prolog". Computational Logic — CL 2000. Lecture Notes in Computer Science. Vol. 1861. pp. 131–148. doi:10.1007/3-540-44957-4_9. ISBN 978-3-540-67797-0.
Sagonas, Konstantinos; Swift, Terrance; Warren, David S. (1994). "XSB as an efficient deductive database engine". ACM SIGMOD Record. 23 (2): 442–453. doi:10.1145/191843.191927.
Van Roy, P.; Despain, A. M. (1992). "High-performance logic programming with the Aquarius Prolog compiler". Computer. 25: 54–68. doi:10.1109/2.108055. S2CID 16447071.
Colomb, Robert M. (1991). "Enhancing unification in PROLOG through clause indexing". The Journal of Logic Programming. 10: 23–44. doi:10.1016/0743-1066(91)90004-9.
Swift, T. (1999). "Tabling for non-monotonic programming". Annals of Mathematics and Artificial Intelligence. 25 (3/4): 201–240. doi:10.1023/A:1018990308362. S2CID 16695800.
Swift, T.; Warren, D. S. (2011). "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.
Abe, S.; Bandoh, T.; Yamaguchi, S.; Kurosawa, K.; Kiriyama, K. (1987). "High performance integrated Prolog processor IPP". Proceedings of the 14th annual international symposium on Computer architecture - ISCA '87. p. 100. doi:10.1145/30350.30362. ISBN 978-0-8186-0776-9. S2CID 10283148.
Robinson, Ian (1986). A Prolog processor based on a pattern matching memory device. Third International Conference on Logic Programming. Lecture Notes in Computer Science. Vol. 225. Springer. pp. 172–179. doi:10.1007/3-540-16492-8_73. ISBN 978-3-540-16492-0.
Taki, K.; Nakajima, K.; Nakashima, H.; Ikeda, M. (1987). "Performance and architectural evaluation of the PSI machine". ACM SIGPLAN Notices. 22 (10): 128. doi:10.1145/36205.36195.
Gupta, G.; Pontelli, E.; Ali, K. A. M.; Carlsson, M.; Hermenegildo, M. V. (2001). "Parallel execution of prolog programs: a survey". ACM Transactions on Programming Languages and Systems. 23 (4): 472. doi:10.1145/504083.504085. S2CID 2978041.
Feigenbaum, Edward; Shrobe, Howard (1993-07-01). "The Japanese national Fifth Generation project: Introduction, survey, and evaluation". Future Generation Computer Systems. FGCS Conference. 9 (2): 105–117. doi:10.1016/0167-739X(93)90003-8. ISSN 0167-739X.
Mycroft, A.; O'Keefe, R. A. (1984). "A polymorphic type system for prolog". Artificial Intelligence. 23 (3): 295. doi:10.1016/0004-3702(84)90017-1.
Schrijvers, Tom; Santos Costa, Vitor; Wielemaker, Jan; Demoen, Bart (2008). "Towards Typed Prolog". In María García de la Banda; Enrico Pontelli (eds.). Logic programming: 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008: proceedings. Lecture Notes in Computer Science. Vol. 5366. pp. 693–697. doi:10.1007/978-3-540-89982-2_59. ISBN 978-3-540-89982-2.
Apt, K. R.; Marchiori, E. (1994). "Reasoning about Prolog programs: From modes through types to assertions". Formal Aspects of Computing. 6 (S1): 743. CiteSeerX 10.1.1.57.395. doi:10.1007/BF01213601. S2CID 12235465. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Roy, P.; Demoen, B.; Willems, Y. D. (1987). "Improving the execution speed of compiled Prolog with modes, clause selection, and determinism". Tapsoft '87. Lecture Notes in Computer Science. Vol. 250. pp. 111. doi:10.1007/BFb0014976. ISBN 978-3-540-17611-4.
Jaffar, J. (1994). "Constraint logic programming: a survey". The Journal of Logic Programming. 19–20: 503–581. doi:10.1016/0743-1066(94)90033-7.
Wallace, M. (2002). "Constraint Logic Programming". Computational Logic: Logic Programming and Beyond. Lecture Notes in Computer Science. Vol. 2407. pp. 512–556. doi:10.1007/3-540-45628-7_19. ISBN 978-3-540-45628-5.
Wielemaker, J.; Huang, Z.; Van Der Meij, L. (2008). "SWI-Prolog and the web" (PDF). Theory and Practice of Logic Programming. 8 (3): 363. doi:10.1017/S1471068407003237. S2CID 5404048.
Loke, S. W.; Davison, A. (2001). "Secure Prolog-based mobile code". Theory and Practice of Logic Programming. 1 (3): 321. arXiv:cs/0406012. CiteSeerX 10.1.1.58.6610. doi:10.1017/S1471068401001211. S2CID 11754347. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

faqs.org (Global: 7,483^rd place; English: 6,774^th place)

"FAQ: Prolog Resource Guide 1/2 [Monthly posting]Section - [1-8] The Prolog 1000 Database". Faqs.org.

floc-conference.org (Global: low place; English: low place)

Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010 Archived 2010-07-16 at the Wayback Machine.

free.fr (Global: 283^rd place; English: 705^th place)

alain.colmerauer.free.fr

Colmerauer, A.; Roussel, P. (1993). "The birth of Prolog" (PDF). ACM SIGPLAN Notices. 28 (3): 37. doi:10.1145/155360.155362.

github.com (Global: 380^th place; English: 337^th place)

terminusdb/terminusdb, TerminusDB, 2020-12-13, retrieved 2020-12-15

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

Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; Jose F. Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu; Giovanni Ciatto (November 2022), "Fifty Years of Prolog and Beyond", Theory and Practice of Logic Programming, 22 (6): 776–858, doi:10.1017/S1471068422000102, hdl:10174/33387

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. doi:10.1145/35043.35046. S2CID 12259230.

iso.org (Global: 1,190^th place; English: 1,097^th place)

"ISO/IEC 13211-1:1995/Cor 1:2007". ISO.
"ISO/IEC 13211-1:1995/Cor 2:2012". ISO.
"ISO/IEC 13211-1:1995/Cor 3:2017". ISO.
"ISO/IEC JTC1 SC22 WG17".^{[permanent dead link]}

kuleuven.ac.be (Global: low place; English: low place)

cs.kuleuven.ac.be

Moura, Paulo (August 2004), "Logtalk", Association of Logic Programming, 17 (3), archived from the original on 2010-04-12, retrieved 2010-02-16

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

dtai.cs.kuleuven.be

Franzen, Torkel (1994), "Declarative vs procedural", Association of Logic Programming, 7 (3)

lirias.kuleuven.be

Schrijvers, Tom; Santos Costa, Vitor; Wielemaker, Jan; Demoen, Bart (2008). "Towards Typed Prolog". In María García de la Banda; Enrico Pontelli (eds.). Logic programming: 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008: proceedings. Lecture Notes in Computer Science. Vol. 5366. pp. 693–697. doi:10.1007/978-3-540-89982-2_59. ISBN 978-3-540-89982-2.

lumii.lv (Global: low place; English: low place)

apps.lumii.lv

"prolog-mpi". Apps.lumii.lv. Retrieved 2010-09-16.

mta.ca (Global: low place; English: low place)

"Prolog: a brief history". Retrieved 21 November 2021.

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

Fernando C. N. Pereira; Stuart M. Shieber (2005). Prolog and Natural Language Analysis. Microtome.

nmsu.edu (Global: 9,083^rd place; English: 6,016^th place)

cs.nmsu.edu

Adam Lally; Paul Fodor (31 March 2011). "Natural Language Processing With Prolog in the IBM Watson System". Association for Logic Programming. Archived from the original on 3 September 2014. Retrieved 13 June 2014. See also Watson (computer).

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

Kiselyov, Oleg; Kameyama, Yukiyoshi (2014). Re-thinking Prolog. Proc. 31st meeting of the Japan Society for Software Science and Technology.
"With regard to Prolog variables, variables only in the head are implicitly universally quantified, and those only in the body are implicitly existentially quantified". Retrieved 2013-05-04.

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

citeseerx.ist.psu.edu

Stickel, M. E. (1988). "A prolog technology theorem prover: Implementation by an extended prolog compiler". Journal of Automated Reasoning. 4 (4): 353–380. CiteSeerX 10.1.1.47.3057. doi:10.1007/BF00297245. S2CID 14621218. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei (2001). "Complexity and Expressive Power of Logic Programming". ACM Computing Surveys. 33 (3): 374–425. CiteSeerX 10.1.1.616.6372. doi:10.1145/502807.502810. S2CID 518049. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Kirschenbaum, M.; Sterling, L.S. (1993). "Applying techniques to skeletons". In Jacquet, J. M. J. (ed.). Constructing logic programs. Wiley Professional Computing. John Wiley & Sons. pp. 127–140. CiteSeerX 10.1.1.56.7278. ISBN 978-0-471-93789-0. {{cite book}}: Cite uses deprecated parameter |citeseerx= (help)
Naish, Lee (1996). Higher-order logic programming in Prolog (Report). Department of Computer Science, University of Melbourne. CiteSeerX 10.1.1.35.4505. {{cite report}}: Cite uses deprecated parameter |citeseerx= (help)
Apt, K. R.; Marchiori, E. (1994). "Reasoning about Prolog programs: From modes through types to assertions". Formal Aspects of Computing. 6 (S1): 743. CiteSeerX 10.1.1.57.395. doi:10.1007/BF01213601. S2CID 12235465. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Loke, S. W.; Davison, A. (2001). "Secure Prolog-based mobile code". Theory and Practice of Logic Programming. 1 (3): 321. arXiv:cs/0406012. CiteSeerX 10.1.1.58.6610. doi:10.1017/S1471068401001211. S2CID 11754347. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

rwth-aachen.de (Global: low place; English: low place)

ftp.informatik.rwth-aachen.de

Wielemaker, Jan; Hildebrand, Michiel; van Ossenbruggen, Jacco (2007), Heymans, S.; Polleres, A.; Ruckhaus, E.; Pearse, D.; Gupta, G. (eds.), "Using {Prolog} as the fundament for applications on the semantic web" (PDF), Proceedings of the 2nd Workshop on Applications of Logic Programming and to the Web, Semantic Web and Semantic Web Services, CEUR Workshop Proceedings, vol. 287, Porto, Portugal: CEUR-WS.org, pp. 84–98

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

api.semanticscholar.org

Stickel, M. E. (1988). "A prolog technology theorem prover: Implementation by an extended prolog compiler". Journal of Automated Reasoning. 4 (4): 353–380. CiteSeerX 10.1.1.47.3057. doi:10.1007/BF00297245. S2CID 14621218. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Kowalski, R. A. (1988). "The early years of logic programming" (PDF). Communications of the ACM. 31: 38. doi:10.1145/35043.35046. S2CID 12259230.
Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei (2001). "Complexity and Expressive Power of Logic Programming". ACM Computing Surveys. 33 (3): 374–425. CiteSeerX 10.1.1.616.6372. doi:10.1145/502807.502810. S2CID 518049. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Covington, Michael A.; Bagnara, Roberto; O'Keefe, Richard A.; Wielemaker, Jan; Price, Simon (2011). "Coding guidelines for Prolog". Theory and Practice of Logic Programming. 12 (6): 889–927. arXiv:0911.2899. doi:10.1017/S1471068411000391. S2CID 438363.
Van Roy, P.; Despain, A. M. (1992). "High-performance logic programming with the Aquarius Prolog compiler". Computer. 25: 54–68. doi:10.1109/2.108055. S2CID 16447071.
Swift, T. (1999). "Tabling for non-monotonic programming". Annals of Mathematics and Artificial Intelligence. 25 (3/4): 201–240. doi:10.1023/A:1018990308362. S2CID 16695800.
Swift, T.; Warren, D. S. (2011). "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.
Abe, S.; Bandoh, T.; Yamaguchi, S.; Kurosawa, K.; Kiriyama, K. (1987). "High performance integrated Prolog processor IPP". Proceedings of the 14th annual international symposium on Computer architecture - ISCA '87. p. 100. doi:10.1145/30350.30362. ISBN 978-0-8186-0776-9. S2CID 10283148.
Gupta, G.; Pontelli, E.; Ali, K. A. M.; Carlsson, M.; Hermenegildo, M. V. (2001). "Parallel execution of prolog programs: a survey". ACM Transactions on Programming Languages and Systems. 23 (4): 472. doi:10.1145/504083.504085. S2CID 2978041.
Apt, K. R.; Marchiori, E. (1994). "Reasoning about Prolog programs: From modes through types to assertions". Formal Aspects of Computing. 6 (S1): 743. CiteSeerX 10.1.1.57.395. doi:10.1007/BF01213601. S2CID 12235465. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Wielemaker, J.; Huang, Z.; Van Der Meij, L. (2008). "SWI-Prolog and the web" (PDF). Theory and Practice of Logic Programming. 8 (3): 363. doi:10.1017/S1471068407003237. S2CID 5404048.
Loke, S. W.; Davison, A. (2001). "Secure Prolog-based mobile code". Theory and Practice of Logic Programming. 1 (3): 321. arXiv:cs/0406012. CiteSeerX 10.1.1.58.6610. doi:10.1017/S1471068401001211. S2CID 11754347. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

sju.edu (Global: low place; English: low place)

"X3J17 and the Prolog Standard". Archived from the original on 2009-08-23. Retrieved 2009-10-02.

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

ai.sri.com

David H. D. Warren. "An abstract Prolog instruction set". Technical Note 309, SRI International, Menlo Park, CA, October 1983.

swi-prolog.org (Global: low place; English: low place)

Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010 Archived 2010-07-16 at the Wayback Machine.
"XPCE: the SWI-Prolog native GUI library". swi-prolog.org.

upm.es (Global: 9,074^th place; English: low place)

oa.upm.es

Gupta, G.; Pontelli, E.; Ali, K. A. M.; Carlsson, M.; Hermenegildo, M. V. (2001). "Parallel execution of prolog programs: a survey". ACM Transactions on Programming Languages and Systems. 23 (4): 472. doi:10.1145/504083.504085. S2CID 2978041.

uva.nl (Global: 3,161^st place; English: 2,525^th place)

pure.uva.nl

Wielemaker, J.; Huang, Z.; Van Der Meij, L. (2008). "SWI-Prolog and the web" (PDF). Theory and Practice of Logic Programming. 8 (3): 363. doi:10.1017/S1471068407003237. S2CID 5404048.

web.archive.org (Global: 1^st place; English: 1^st place)

Adam Lally; Paul Fodor (31 March 2011). "Natural Language Processing With Prolog in the IBM Watson System". Association for Logic Programming. Archived from the original on 3 September 2014. Retrieved 13 June 2014. See also Watson (computer).
Moura, Paulo (August 2004), "Logtalk", Association of Logic Programming, 17 (3), archived from the original on 2010-04-12, retrieved 2010-02-16
Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010 Archived 2010-07-16 at the Wayback Machine.
"X3J17 and the Prolog Standard". Archived from the original on 2009-08-23. Retrieved 2009-10-02.

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

search.worldcat.org

Feigenbaum, Edward; Shrobe, Howard (1993-07-01). "The Japanese national Fifth Generation project: Introduction, survey, and evaluation". Future Generation Computer Systems. FGCS Conference. 9 (2): 105–117. doi:10.1016/0167-739X(93)90003-8. ISSN 0167-739X.

Prolog (English Wikipedia)

aclanthology.org (Global: low place; English: 8,900th place)

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

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

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

books.google.com (Global: 3rd place; English: 3rd place)

britannica.com (Global: 37th place; English: 64th place)

cam.ac.uk (Global: 569th place; English: 354th place)

cl.cam.ac.uk

ceur-ws.org (Global: low place; English: low place)

cuny.edu (Global: 2,325th place; English: 1,345th place)

sci.brooklyn.cuny.edu

cwi.nl (Global: low place; English: low place)

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

faqs.org (Global: 7,483rd place; English: 6,774th place)

floc-conference.org (Global: low place; English: low place)

free.fr (Global: 283rd place; English: 705th place)

alain.colmerauer.free.fr

github.com (Global: 380th place; English: 337th place)

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

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

doc.ic.ac.uk

iso.org (Global: 1,190th place; English: 1,097th place)

kuleuven.ac.be (Global: low place; English: low place)

cs.kuleuven.ac.be

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

dtai.cs.kuleuven.be

lirias.kuleuven.be

lumii.lv (Global: low place; English: low place)

apps.lumii.lv

mta.ca (Global: low place; English: low place)

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

nmsu.edu (Global: 9,083rd place; English: 6,016th place)

cs.nmsu.edu

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

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

citeseerx.ist.psu.edu

rwth-aachen.de (Global: low place; English: low place)

ftp.informatik.rwth-aachen.de

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

api.semanticscholar.org

sju.edu (Global: low place; English: low place)

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

ai.sri.com

swi-prolog.org (Global: low place; English: low place)

upm.es (Global: 9,074th place; English: low place)

oa.upm.es

uva.nl (Global: 3,161st place; English: 2,525th place)

pure.uva.nl

web.archive.org (Global: 1st place; English: 1st place)

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

search.worldcat.org

aclanthology.org (Global: low place; English: 8,900^th place)

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)

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

books.google.com (Global: 3^rd place; English: 3^rd place)

britannica.com (Global: 37^th place; English: 64^th place)

cam.ac.uk (Global: 569^th place; English: 354^th place)

cuny.edu (Global: 2,325^th place; English: 1,345^th place)

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

faqs.org (Global: 7,483^rd place; English: 6,774^th place)

free.fr (Global: 283^rd place; English: 705^th place)

github.com (Global: 380^th place; English: 337^th place)

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

iso.org (Global: 1,190^th place; English: 1,097^th place)

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

nmsu.edu (Global: 9,083^rd place; English: 6,016^th place)

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

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

upm.es (Global: 9,074^th place; English: low place)

uva.nl (Global: 3,161^st place; English: 2,525^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

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