Skip to content

Commit 8d86a0d

Browse files
committed
Update README.md
Added prolog links
1 parent 08baaa8 commit 8d86a0d

File tree

1 file changed

+129
-1
lines changed

1 file changed

+129
-1
lines changed

README.md

Lines changed: 129 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,132 @@
11
PrologTutorials
22
===============
33

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

0 commit comments

Comments
 (0)