/
prolog resources.txt
115 lines (84 loc) · 3.02 KB
/
prolog resources.txt
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
Prolog resources
http://paste.lisp.org/display/96726
Learn Prolog Now!
Patrick Blackburn, Johan Bos, and Kristina Striegnitz
<http://www.learnprolognow.org/>
<http://www.coli.uni-saarland.de/~kris/learn-prolog-now/>
<http://www.coli.uni-saarland.de/~kris/learn-prolog-now/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://computing.unn.ac.uk/staff/cgpb4/prologbook/index.html>
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
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://www.cs.nps.navy.mil/people/faculty/rowe/book/book.html>
Simply Logical: Intelligent Reasoning by Example
Peter Flach
Prolog Programming for Artificial Intelligence
Ivan Bratko
The Art of Prolog: Advanced Programming Techniques
Leon Sterling and Ehud Shapiro
The Craft of Prolog
Richard A. O'Keefe
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.vanx.org/archive/wam/wam.html>
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>