Name		Name	Last commit message	Last commit date
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Prolog Books, Tutorials and Implementations

Copied and updated from http://ideone.com/mKB5l (with clicky links)

Prolog subredit

http://www.reddit.com/r/prolog/

Introduction to Prolog Videos

https://www.youtube.com/watch?v=GHLfeGN5OMk

Learn Prolog Now!#####

Patrick Blackburn, Johan Bos, and Kristina Striegnitz

Prolog Wiki Book

http://en.wikibooks.org/wiki/Prolog

Prolog Programming in Depth

Michael A. Covington, Donald Nute, and André Vellino

http://www.covingtoninnovations.com/books.html#ppid

Natural Language Processing for Prolog Programmers

Michael A. Covington http://www.covingtoninnovations.com/books.html#nlp

prolog :- tutorial.

John R. Fisher

http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html

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

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

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://faculty.nps.edu/ncrowe/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

http://cdn.preterhuman.net/texts/computing/programming/Prolog/The%20Art%20of%20Prolog%20%202nd%20Ed%20-%20Leon%20Sterling%20,%20Ehud%20Shapiro.pdf

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.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/

Open source Prolog implementations

Warren Abstract Machine
- http://stefan.buettcher.org/cs/wam/ - Java implementation of WAM
- https://github.com/Trismegiste/WamBundle PHP (!) implementation of WAM
JIT Prolog
- Jitting Prolog for Fun and Proﬁt - http://bergel.eu/download/Dyla2010/schneider-prolog-jit-final.pdf
- http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html
Prolog in Javascript
- http://ioctl.org/logic/ - Javascript prolog, source code embedded in page
- https://github.com/BijuGC/jsprolog - Easy to embed version of ioctl.org prolog
Python Interpreter for Prolog
- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.1886&rep=rep1&type=pdf
- http://www.stups.uni-duesseldorf.de/mediawiki/images/5/5f/Bolz2007-Bachelorarbeit.pdf
Yield Prolog - a prolog-like technique implmeneted in languages with the yield statement
- http://yieldprolog.sourceforge.net/

About

Prolog Tutorials and Information

Readme

Unlicense

Activity

0 stars

1 watching

0 forks

Report repository

shihang0001/PrologTutorials: Prolog Tutorials and Information · GitHub

Latest commit

History

Folders and files