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. ISBN3-540-17611-X. (англ.)
Pountain, Dick (Жовтень 1984). POP and SNAP. BYTE. с. 381. Процитовано 23 жовтня 2013. (англ.)
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]. (англ.)
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. (англ.)
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. ISBN978-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. ISBN0818607769. (англ.)
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. ISBN978-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. (англ.)
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. ISBN9783540899822. (англ.)
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. ISBN3-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. ISBN3540456287. (англ.)
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. (англ.)
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 (англ.)
