language: Text (text 6.10)
date: 734 days 20 hours ago
link:
visibility: public 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127

SOME LOGIC PROGRAMMING RESOURCES (based on http://paste.lisp.org/display/96726 - updated and so on)
 
Learn Prolog Now!
  Patrick Blackburn, Johan Bos, and Kristina Striegnitz
  <http://www.learnprolognow.org/>
  <http://cs.union.edu/~striegnk/learn-prolog-now/html/>
  <http://cs.union.edu/~striegnk/learn-prolog-now/html/html/prolog-notes.pdf>
 
prolog :- tutorial.
  John R. Fisher
  <http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html>
 
Prolog Tutorials
  James F. Power
(!)  <http://www.cs.nuim.ie/~jpower/Courses/PROLOG/index.html>
  (Assumes SICStus Prolog, most of the information should be portable to other
   implementations)
 
Prolog Books & Tutorials
  Amzi!
  <http://www.amzi.com/articles/prolog_books_tutorials.htm>
 
Guide to Prolog Programming
  Roman Bártak
  <http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html>
 
Prolog for Software Engineering
  Peter B. Reintjes
  <http://www.cs.auckland.ac.nz/~j-hamer/07.363/prolog-for-se.html>
 
An Introduction to Language Processing with Perl and Prolog
  Pierre Nugues
(?)  <http://www.cs.lth.se/home/Pierre_Nugues/ilppp/index.html>
 
P-99: Ninety-Nine Prolog Problems
  Werner Hett
  <https://prof.ti.bfh.ch/hew1/informatik3/prolog/p-99/index.html>
 
Prolog Programming  A First Course
  Paul Brna
  <http://homepages.inf.ed.ac.uk/pbrna/prologbook/>
  <http://www.dmi.unisa.it/people/sessa/www/brna_prolog.pdf>
 
Introduction to Prolog for Mathematicians
  Jocelyn Paine
  <http://www.j-paine.org/prolog/mathnotes/files/contents.html>
 
Free Prolog Books
  <http://www.freeprogrammingresources.com/prologbook.html>
 
Prolog Books
  John Fletcher
  <http://www.binding-time.co.uk/prolog_books.html>
 
Frequently Asked Questions - comp.lang.prolog
  <http://www.logic.at/prolog/faq/faq.html>
 
Public-domain Prolog library
  Jocelyn Paine
  <http://www.j-paine.org/prolog/library.html>

Programming in Prolog
  W.F. Clocksin and C.S. Mellish
  <http://www.ebooksdownloadfree.com/Programming-general/William-F-Clocksin-Christopher-S-Mellish-Programming-in-BI22314.html>
 
Clause and Effect
(!)  W.F. Clocksin
 
Logic, Programming and Prolog
  Ulf Nilsson and Jan Maluszynski
  <http://www.ida.liu.se/~ulfni/lpp/index.html>
 
Computing with Logic: Logic Programming with Prolog
(!)  David Maier and David S. Warren
 
Artificial Intelligence through Prolog
  Neil C. Rowe
  <http://faculty.nps.edu/ncrowe/book/book.html>
 
Simply Logical: Intelligent Reasoning by Example
  Peter Flach
  <http://www.cs.bris.ac.uk/~flach/SimplyLogical.html>
  <http://www.cs.bris.ac.uk/~flach/SL/SL.pdf>
 
Prolog Programming for Artificial Intelligence
  Ivan Bratko
  <http://www.ebooksdownloadfree.com/Programming-general/PROLOG-Programming-for-Artificial-Intelligence-BI20607.html>
  
The Art of Prolog: Advanced Programming Techniques
  Leon Sterling and Ehud Shapiro
(!)
 
The Craft of Prolog
  Richard A. O'Keefe
  <http://www.ebooksdownloadfree.com/Programming-general/The-Craft-of-Prolog-Logic-Programming-BI8808.html>
 
Logic for Problem Solving
  Robert Kowalski
  <http://www.doc.ic.ac.uk/~rak/index.html>

Prolog: The ISO Standard
  J.P.E. Hodgson
  <http://pauillac.inria.fr/~deransar/prolog/index.html>
 
Prolog Standards Documents
  Roger Scowen
  <http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/doc/standard/>
 
Warren's Abstract Machine: A Tutorial Reconstruction
  Hassan Aït-Kaci
  <http://www.cvc.uab.es/shared/teach/a25002/WAMBOOK.PDF>
 
Algorithm = Logic + Control
  Robert Kowalski
  <http://www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf>
 
Prolog mode for (X)Emacs
  Stefan Bruda
  <http://turing.ubishops.ca/home/bruda/emacs-prolog/index.html>
 
Natural Language Processing Techniques in Prolog
  Patrick Blackburn and Kristina Striegnitz
  <http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/>
 
Prolog Programming in Depth
  Michael A.Covington, Donald Nute, Andre Vellino
  <http://www.ebooksdownloadfree.com/IT/Prolog-Programming-in-Depth-BI5667.html>
SOME LOGIC PROGRAMMING RESOURCES