Пролог (мова програмування) (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Пролог (мова програмування)" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

22doi.org

2^nd place

4^th place

6archive.org

6^th place

5web.archive.org

1^st place

2arxiv.org

69^th place

188^th place

2okmij.org

low place

2iso.org

629^th place

477^th place

2sju.edu

low place

2swi-prolog.org

low place

2webcitation.org

24^th place

3^rd place

1ic.ac.uk

low place

1free.fr

321^st place

1,341^st place

1mtome.com

low place

1nmsu.edu

6,873^rd place

low place

1psu.edu

207^th place

811^th place

1kuleuven.ac.be

low place

1sri.com

low place

1cuny.edu

2,137^th place

4,576^th place

1cam.ac.uk

670^th place

721^st place

1faqs.org

4,871^st place

2,260^th place

1floc-conference.org

low place

1kuleuven.be

4,725^th place

low place

1lumii.lv

low place

1wikipedia.org

low place

1rwth-aachen.de

low place

1ceur-ws.org

low place

archive.org

Stickel, M. E. (1988). A prolog technology theorem prover: Implementation by an extended prolog compiler. Journal of Automated Reasoning. 4 (4): 353—380. doi:10.1007/BF00297245. (англ.)
Merritt, Dennis (1989), Building expert systems in Prolog, Berlin: Springer-Verlag, ISBN 0-387-97016-9 (англ.)
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. (англ.)
Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei (2001). Complexity and Expressive Power of Logic Programming. ACM Computing Surveys. 33 (3): 374—425. doi:10.1145/502807.502810. (англ.)
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. Т. 250. с. 111. doi:10.1007/BFb0014976. ISBN 3-540-17611-X. (англ.)
Pountain, Dick (Жовтень 1984). POP and SNAP. BYTE. с. 381. Процитовано 23 жовтня 2013. (англ.)

arxiv.org

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. (англ.)
Michael Covington та ін. (2010). Coding guidelines for Prolog. arXiv:0911.2899 [cs.PL]. (англ.)

cam.ac.uk

cl.cam.ac.uk

http://www.cl.cam.ac.uk/~am21/research/sa/byrdbox.ps.gz (англ.)

ceur-ws.org

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

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. (англ.)

doi.org

Kowalski, R. A. (1988). The early years of logic programming (PDF). Communications of the ACM. 31: 38. doi:10.1145/35043.35046. (англ.)
Colmerauer, A.; Roussel, P. (1993). The birth of Prolog (PDF). ACM SIGPLAN Notices. 28 (3): 37. doi:10.1145/155360.155362. (англ.)
Stickel, M. E. (1988). A prolog technology theorem prover: Implementation by an extended prolog compiler. Journal of Automated Reasoning. 4 (4): 353—380. doi:10.1007/BF00297245. (англ.)
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. (англ.)
Sterling, Leon (2002). Patterns for Prolog Programming. Computational Logic: Logic Programming and Beyond. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Т. 2407. с. 17—26. doi:10.1007/3-540-45628-7_15. ISBN 978-3-540-43959-2. (англ.)
Van Roy, P.; Despain, A. M. (1992). High-performance logic programming with the Aquarius Prolog compiler. Computer. 25: 54. doi:10.1109/2.108055. (англ.)
Colomb, Robert M. (1991). Enhancing unification in PROLOG through clause indexing. The Journal of Logic Programming. 10: 23. 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—200. doi:10.1023/A:1018990308362. (англ.)
Swift, T.; Warren, D. S. (2011). XSB: Extending Prolog with Tabled Logic Programming. Theory and Practice of Logic Programming. 12: 157. doi:10.1017/S1471068411000500. (англ.)
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. с. 100. doi:10.1145/30350.30362. ISBN 0818607769. (англ.)
Robinson, Ian (1986). A Prolog processor based on a pattern matching memory device. Third International Conference on Logic Programming. Lecture Notes in Computer Science. Т. 225. Springer. с. 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. (англ.)
Dantsin, Evgeny; Eiter, Thomas; Gottlob, Georg; Voronkov, Andrei (2001). Complexity and Expressive Power of Logic Programming. ACM Computing Surveys. 33 (3): 374—425. doi:10.1145/502807.502810. (англ.)
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. У Maria Garcia de la Banda; Enrico Pontelli (ред.). Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedings. Lecture Notes in Computer Science. Т. 5366. с. 693—697. doi:10.1007/978-3-540-89982-2_59. ISBN 9783540899822. (англ.)
Apt, K. R.; Marchiori, E. (1994). Reasoning about Prolog programs: From modes through types to assertions. Formal Aspects of Computing. 6 (6): 743. doi:10.1007/BF01213601. (англ.)
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. Т. 250. с. 111. doi:10.1007/BFb0014976. ISBN 3-540-17611-X. (англ.)
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. Т. 2407. с. 512—556. doi:10.1007/3-540-45628-7_19. ISBN 3540456287. (англ.)
Wielemaker, J.; Huang, Z.; Van Der Meij, L. (2008). SWI-Prolog and the web. Theory and Practice of Logic Programming. 8 (03). doi:10.1017/S1471068407003237. (англ.)
Loke, S. W.; Davison, A. (2001). Secure Prolog-based mobile code. Theory and Practice of Logic Programming. 1. doi:10.1017/S1471068401001211. (англ.)

faqs.org

The Prolog 1000 database http://www.faqs.org/faqs/prolog/resource-guide/part1/section-9.html (англ.)

floc-conference.org

Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010 [Архівовано 2010-07-16 у Wayback Machine.]. (англ.)

free.fr

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. (англ.)

ic.ac.uk

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. (англ.)

iso.org

ISO/IEC 13211-1:1995/Cor.1:2007 (англ.)
ISO/IEC 13211-1:1995/Cor 2:2012 (англ.)

kuleuven.ac.be

cs.kuleuven.ac.be

Paulo Moura, Logtalk in Association of Logic Programming Newsletter. Vol 17 n. 3, August 2004. [1] [Архівовано 2010-04-12 у Wayback Machine.] (англ.)

kuleuven.be

dtai.cs.kuleuven.be

Torkel Franzen (1994). Declarative vs procedural. Association of Logic Programming Newsletter. Vol 7(3). (англ.)

lumii.lv

apps.lumii.lv

prolog-mpi. Apps.lumii.lv. Архів оригіналу за 25 червня 2013. Процитовано 16 вересня 2010. (англ.)

mtome.com

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

nmsu.edu

cs.nmsu.edu

Adam Lally; Paul Fodor (31 березня 2011). Natural Language Processing With Prolog in the IBM Watson System. Association for Logic Programming. Архів оригіналу за 3 вересня 2014. Процитовано 31 серпня 2014. (англ.) Див. також IBM Watson.

okmij.org

With regard to Prolog variables, variables only in the head are implicitly universally quantified, and those only in the body are implicitly existentially quantified. Процитовано 04 травня 2013. (англ.)
Kiselyov, Oleg; Kameyama, Yukiyoshi (2014). Re-thinking Prolog. Proc. 31st meeting of the Japan Society for Software Science and Technology. (англ.)

psu.edu

citeseerx.ist.psu.edu

Naish, Lee (1996), Higher-order logic programming in Prolog, Department of Computer Science, University of Melbourne, процитовано 2 листопада 2010 (англ.)

rwth-aachen.de

ftp.informatik.rwth-aachen.de

Jan Wielemaker and Michiel Hildebrand and Jacco van Ossenbruggen (2007), S.Heymans, A. Polleres, E. Ruckhaus, D. Pearse, and G. Gupta (ред.), 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, Porto, Portugal: CEUR-WS.org, т. 287, с. 84—98 (англ.)

sju.edu

WG17 Working Group [Архівовано 24 жовтня 2009 у Wayback Machine.] (англ.)
X3J17 Committee [Архівовано 23 серпня 2009 у Wayback Machine.] (англ.)

sri.com

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

Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010 [Архівовано 2010-07-16 у Wayback Machine.]. (англ.)
XPCE graphics library. Архів оригіналу за 25 червня 2013. Процитовано 10 грудня 2012. (англ.)

web.archive.org

Adam Lally; Paul Fodor (31 березня 2011). Natural Language Processing With Prolog in the IBM Watson System. Association for Logic Programming. Архів оригіналу за 3 вересня 2014. Процитовано 31 серпня 2014. (англ.) Див. також IBM Watson.
Paulo Moura, Logtalk in Association of Logic Programming Newsletter. Vol 17 n. 3, August 2004. [1] [Архівовано 2010-04-12 у Wayback Machine.] (англ.)
WG17 Working Group [Архівовано 24 жовтня 2009 у Wayback Machine.] (англ.)
X3J17 Committee [Архівовано 23 серпня 2009 у Wayback Machine.] (англ.)
Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010 [Архівовано 2010-07-16 у Wayback Machine.]. (англ.)

webcitation.org

XPCE graphics library. Архів оригіналу за 25 червня 2013. Процитовано 10 грудня 2012. (англ.)
prolog-mpi. Apps.lumii.lv. Архів оригіналу за 25 червня 2013. Процитовано 16 вересня 2010. (англ.)

wikipedia.org

en.wikipedia.org

Ehud Shapiro. The family of concurrent logic programming languages ACM Computing Surveys^[en]. September 1989. (англ.)