fork(1) download
  1. SOME LOGIC PROGRAMMING RESOURCES (based on http://paste.lisp.org/display/96726 - updated and so on)
  2.  
  3. Learn Prolog Now!
  4. Patrick Blackburn, Johan Bos, and Kristina Striegnitz
  5. <http://www.learnprolognow.org/>
  6. <http://cs.union.edu/~striegnk/learn-prolog-now/html/>
  7. <http://cs.union.edu/~striegnk/learn-prolog-now/html/html/prolog-notes.pdf>
  8.  
  9. prolog :- tutorial.
  10. John R. Fisher
  11. <http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html>
  12.  
  13. Prolog Tutorials
  14. James F. Power
  15. (!) <http://www.cs.nuim.ie/~jpower/Courses/PROLOG/index.html>
  16. (Assumes SICStus Prolog, most of the information should be portable to other
  17. implementations)
  18.  
  19. Prolog Books & Tutorials
  20. Amzi!
  21. <http://www.amzi.com/articles/prolog_books_tutorials.htm>
  22.  
  23. Guide to Prolog Programming
  24. Roman Bártak
  25. <http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html>
  26.  
  27. Prolog for Software Engineering
  28. Peter B. Reintjes
  29. <http://www.cs.auckland.ac.nz/~j-hamer/07.363/prolog-for-se.html>
  30.  
  31. An Introduction to Language Processing with Perl and Prolog
  32. Pierre Nugues
  33. (?) <http://www.cs.lth.se/home/Pierre_Nugues/ilppp/index.html>
  34.  
  35. P-99: Ninety-Nine Prolog Problems
  36. Werner Hett
  37. <https://prof.ti.bfh.ch/hew1/informatik3/prolog/p-99/index.html>
  38.  
  39. Prolog Programming A First Course
  40. Paul Brna
  41. <http://homepages.inf.ed.ac.uk/pbrna/prologbook/>
  42. <http://www.dmi.unisa.it/people/sessa/www/brna_prolog.pdf>
  43.  
  44. Introduction to Prolog for Mathematicians
  45. Jocelyn Paine
  46. <http://www.j-paine.org/prolog/mathnotes/files/contents.html>
  47.  
  48. Free Prolog Books
  49. <http://www.freeprogrammingresources.com/prologbook.html>
  50.  
  51. Prolog Books
  52. John Fletcher
  53. <http://www.binding-time.co.uk/prolog_books.html>
  54.  
  55. Frequently Asked Questions - comp.lang.prolog
  56. <http://www.logic.at/prolog/faq/faq.html>
  57.  
  58. Public-domain Prolog library
  59. Jocelyn Paine
  60. <http://www.j-paine.org/prolog/library.html>
  61. Programming in Prolog
  62. W.F. Clocksin and C.S. Mellish
  63. <http://www.ebooksdownloadfree.com/Programming-general/William-F-Clocksin-Christopher-S-Mellish-Programming-in-BI22314.html>
  64.  
  65. Clause and Effect
  66. (!) W.F. Clocksin
  67.  
  68. Logic, Programming and Prolog
  69. Ulf Nilsson and Jan Maluszynski
  70. <http://www.ida.liu.se/~ulfni/lpp/index.html>
  71.  
  72. Computing with Logic: Logic Programming with Prolog
  73. (!) David Maier and David S. Warren
  74.  
  75. Artificial Intelligence through Prolog
  76. Neil C. Rowe
  77. <http://faculty.nps.edu/ncrowe/book/book.html>
  78.  
  79. Simply Logical: Intelligent Reasoning by Example
  80. Peter Flach
  81. <http://www.cs.bris.ac.uk/~flach/SimplyLogical.html>
  82. <http://www.cs.bris.ac.uk/~flach/SL/SL.pdf>
  83.  
  84. Prolog Programming for Artificial Intelligence
  85. Ivan Bratko
  86. <http://www.ebooksdownloadfree.com/Programming-general/PROLOG-Programming-for-Artificial-Intelligence-BI20607.html>
  87.  
  88. The Art of Prolog: Advanced Programming Techniques
  89. Leon Sterling and Ehud Shapiro
  90. (!)
  91.  
  92. The Craft of Prolog
  93. Richard A. O'Keefe
  94. <http://www.ebooksdownloadfree.com/Programming-general/The-Craft-of-Prolog-Logic-Programming-BI8808.html>
  95.  
  96. Logic for Problem Solving
  97. Robert Kowalski
  98. <http://www.doc.ic.ac.uk/~rak/index.html>
  99. Prolog: The ISO Standard
  100. J.P.E. Hodgson
  101. <http://pauillac.inria.fr/~deransar/prolog/index.html>
  102.  
  103. Prolog Standards Documents
  104. Roger Scowen
  105. <http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/doc/standard/>
  106.  
  107. Warren's Abstract Machine: A Tutorial Reconstruction
  108. Hassan Aït-Kaci
  109. <http://www.cvc.uab.es/shared/teach/a25002/WAMBOOK.PDF>
  110.  
  111. Algorithm = Logic + Control
  112. Robert Kowalski
  113. <http://www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf>
  114.  
  115. Prolog mode for (X)Emacs
  116. Stefan Bruda
  117. <http://turing.ubishops.ca/home/bruda/emacs-prolog/index.html>
  118.  
  119. Natural Language Processing Techniques in Prolog
  120. Patrick Blackburn and Kristina Striegnitz
  121. <http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/>
  122.  
  123. Prolog Programming in Depth
  124. Michael A.Covington, Donald Nute, Andre Vellino
  125. <http://www.ebooksdownloadfree.com/IT/Prolog-Programming-in-Depth-BI5667.html>
Not running #stdin #stdout 0s 0KB
stdin
Standard input is empty
stdout

Standard output is empty