Prolog Books, Tutorials and Implementations =========================================== Copied and updated from http://ideone.com/mKB5l (with clicky links) ### Execute Prolog Online * https://www.tutorialspoint.com/execute_prolog_online.php #### 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 * #### Prolog Books & Tutorials Amzi! * #### Guide to Prolog Programming Roman Bártak * #### Prolog for Software Engineering Peter B. Reintjes * #### P-99: Ninety-Nine Prolog Problems Werner Hett * #### Prolog Programming A First Course Paul Brna * * #### Introduction to Prolog for Mathematicians Jocelyn Paine * #### Free Prolog Books * #### Prolog Books John Fletcher * #### Frequently Asked Questions - comp.lang.prolog * #### Public-domain Prolog library Jocelyn Paine * #### 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 * #### Computing with Logic: Logic Programming with Prolog (!) David Maier and David S. Warren #### Artificial Intelligence through Prolog Neil C. Rowe * #### 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 * #### Prolog: The ISO Standard J.P.E. Hodgson #### Prolog Standards Documents Roger Scowen * #### Warren's Abstract Machine: A Tutorial Reconstruction Hassan Aït-Kaci * #### Algorithm = Logic + Control Robert Kowalski * #### Prolog mode for (X)Emacs Stefan Bruda * #### Natural Language Processing Techniques in Prolog Patrick Blackburn and Kristina Striegnitz * #### 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 Profit - 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/ #### More Prolog links * SWI Prolog. Both general and SWI-specific - http://www.swi-prolog.org/Links.html * Amzi Prolog - http://www.amzi.com/articles/