Skip to content

Commit bf8e780

Browse files
committed
Update README.md
1 parent 2601a6e commit bf8e780

File tree

1 file changed

+20
-3
lines changed

1 file changed

+20
-3
lines changed

README.md

Lines changed: 20 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Prolog Books, Tutorials and Impelentations
1+
Prolog Books, Tutorials and Implementations
22
===========================================
33

44
Copied and updated from http://ideone.com/mKB5l (with clicky links)
@@ -17,6 +17,14 @@ Copied and updated from http://ideone.com/mKB5l (with clicky links)
1717
#### Prolog Wiki Book
1818
* http://en.wikibooks.org/wiki/Prolog
1919

20+
#### Prolog Programming in Depth
21+
Michael A. Covington, Donald Nute, and André Vellino
22+
* http://www.covingtoninnovations.com/books.html#ppid
23+
24+
#### Natural Language Processing for Prolog Programmers
25+
Michael A. Covington
26+
http://www.covingtoninnovations.com/books.html#nlp
27+
2028
#### prolog :- tutorial.
2129
John R. Fisher
2230
* <http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html>
@@ -95,7 +103,8 @@ Copied and updated from http://ideone.com/mKB5l (with clicky links)
95103
#### Logic for Problem Solving
96104
Robert Kowalski
97105
* <http://www.doc.ic.ac.uk/~rak/index.html>
98-
106+
107+
99108
#### Prolog: The ISO Standard
100109
J.P.E. Hodgson
101110
<http://pauillac.inria.fr/~deransar/prolog/index.html>
@@ -128,8 +137,16 @@ Copied and updated from http://ideone.com/mKB5l (with clicky links)
128137
* JIT Prolog
129138
* Jitting Prolog for Fun and Profit - http://bergel.eu/download/Dyla2010/schneider-prolog-jit-final.pdf
130139
* http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html
131-
* http://ioctl.org/logic/ - Javascript prolog, source code embedded in page
140+
* Prolog in Javascript
141+
* http://ioctl.org/logic/ - Javascript prolog, source code embedded in page
142+
* https://github.com/BijuGC/jsprolog - Easy to embed version of ioctl.org prolog
132143
* Python Interpreter for Prolog
133144
* http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.1886&rep=rep1&type=pdf
134145
* http://www.stups.uni-duesseldorf.de/mediawiki/images/5/5f/Bolz2007-Bachelorarbeit.pdf
146+
* Yield Prolog - a prolog-like technique implmeneted in languages with the yield statement
147+
* http://yieldprolog.sourceforge.net/
148+
149+
#### More Prolog links
150+
* SWI Prolog. Both general and SWI-specific - http://www.swi-prolog.org/Links.html
151+
* Amzi Prolog - http://www.amzi.com/articles/
135152

0 commit comments

Comments
 (0)