Prolog (English Wikipedia)

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

refsWebsite

Global rank English rank

27doi.org

2^nd place

12semanticscholar.org

11^th place

8^th place

6psu.edu

207^th place

136^th place

4archive.org

6^th place

4books.google.com

3^rd place

4web.archive.org

1^st place

4arxiv.org

69^th place

59^th place

4iso.org

629^th place

610^th place

2swi-prolog.org

low place

2okmij.org

low place

2kuleuven.be

4,725^th place

3,556^th place

1nmsu.edu

6,873^rd place

4,881^st place

1harvard.edu

18^th place

17^th place

1aclanthology.org

low place

1mtome.com

low place

1ic.ac.uk

low place

9,602^nd place

1free.fr

321^st place

724^th place

1mta.ca

low place

1britannica.com

40^th place

58^th place

1faqs.org

4,871^st place

4,382^nd place

1kuleuven.ac.be

low place

1floc-conference.org

low place

1github.com

383^rd place

320^th place

1acm.org

1,185^th place

840^th place

1handle.net

102^nd place

76^th place

1sju.edu

low place

1sri.com

low place

1cuny.edu

2,137^th place

1,474^th place

1upm.es

8,564^th place

low place

1cam.ac.uk

670^th place

480^th place

1worldcat.org

5^th place

1cwi.nl

low place

1lumii.lv

low place

1uva.nl

3,518^th place

2,652^nd place

1rwth-aachen.de

low place

1ceur-ws.org

low place

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

"NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language" (PDF).

acm.org (Global: 1,185^th place; English: 840^th place)

dl.acm.org

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.

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

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.
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.
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: 69^th place; English: 59^th 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.

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: 40^th place; English: 58^th place)

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

cam.ac.uk (Global: 670^th place; English: 480^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,137^th place; English: 1,474^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.

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.
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.
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.
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.

faqs.org (Global: 4,871^st place; English: 4,382^nd 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: 321^st place; English: 724^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: 383^rd place; English: 320^th place)

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

handle.net (Global: 102^nd place; English: 76^th place)

hdl.handle.net

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

harvard.edu (Global: 18^th place; English: 17^th place)

ui.adsabs.harvard.edu

"Question answering: from partitions to Prolog".

ic.ac.uk (Global: low place; English: 9,602^nd 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: 629^th place; English: 610^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,725^th place; English: 3,556^th 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: 6,873^rd place; English: 4,881^st 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: 207^th place; English: 136^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.
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.
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.
Naish, Lee (1996). Higher-order logic programming in Prolog (Report). Department of Computer Science, University of Melbourne. CiteSeerX 10.1.1.35.4505.
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.
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.

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: 11^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.
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.
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.
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.

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: 8,564^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,518^th place; English: 2,652^nd 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: 5^th place; English: 5^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: low place)

acm.org (Global: 1,185th place; English: 840th place)

dl.acm.org

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

arxiv.org (Global: 69th place; English: 59th place)

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

britannica.com (Global: 40th place; English: 58th place)

cam.ac.uk (Global: 670th place; English: 480th place)

cl.cam.ac.uk

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

cuny.edu (Global: 2,137th place; English: 1,474th place)

sci.brooklyn.cuny.edu

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

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

faqs.org (Global: 4,871st place; English: 4,382nd place)

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

free.fr (Global: 321st place; English: 724th place)

alain.colmerauer.free.fr

github.com (Global: 383rd place; English: 320th place)

handle.net (Global: 102nd place; English: 76th place)

hdl.handle.net

harvard.edu (Global: 18th place; English: 17th place)

ui.adsabs.harvard.edu

ic.ac.uk (Global: low place; English: 9,602nd place)

doc.ic.ac.uk

iso.org (Global: 629th place; English: 610th place)

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

cs.kuleuven.ac.be

kuleuven.be (Global: 4,725th place; English: 3,556th 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: 6,873rd place; English: 4,881st place)

cs.nmsu.edu

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

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

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

ftp.informatik.rwth-aachen.de

semanticscholar.org (Global: 11th 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: 8,564th place; English: low place)

oa.upm.es

uva.nl (Global: 3,518th place; English: 2,652nd place)

pure.uva.nl

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

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

search.worldcat.org

acm.org (Global: 1,185^th place; English: 840^th place)

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

arxiv.org (Global: 69^th place; English: 59^th place)

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

britannica.com (Global: 40^th place; English: 58^th place)

cam.ac.uk (Global: 670^th place; English: 480^th place)

cuny.edu (Global: 2,137^th place; English: 1,474^th place)

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

faqs.org (Global: 4,871^st place; English: 4,382^nd place)

free.fr (Global: 321^st place; English: 724^th place)

github.com (Global: 383^rd place; English: 320^th place)

handle.net (Global: 102^nd place; English: 76^th place)

harvard.edu (Global: 18^th place; English: 17^th place)

ic.ac.uk (Global: low place; English: 9,602^nd place)

iso.org (Global: 629^th place; English: 610^th place)

kuleuven.be (Global: 4,725^th place; English: 3,556^th place)

nmsu.edu (Global: 6,873^rd place; English: 4,881^st place)

psu.edu (Global: 207^th place; English: 136^th place)

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

upm.es (Global: 8,564^th place; English: low place)

uva.nl (Global: 3,518^th place; English: 2,652^nd place)

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

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