├── LICENSE └── README.md /LICENSE: -------------------------------------------------------------------------------- 1 | This is free and unencumbered software released into the public domain. 2 | 3 | Anyone is free to copy, modify, publish, use, compile, sell, or 4 | distribute this software, either in source code form or as a compiled 5 | binary, for any purpose, commercial or non-commercial, and by any 6 | means. 7 | 8 | In jurisdictions that recognize copyright laws, the author or authors 9 | of this software dedicate any and all copyright interest in the 10 | software to the public domain. We make this dedication for the benefit 11 | of the public at large and to the detriment of our heirs and 12 | successors. We intend this dedication to be an overt act of 13 | relinquishment in perpetuity of all present and future rights to this 14 | software under copyright law. 15 | 16 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 17 | EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 18 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. 19 | IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR 20 | OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, 21 | ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR 22 | OTHER DEALINGS IN THE SOFTWARE. 23 | 24 | For more information, please refer to 25 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | Prolog Books, Tutorials and Implementations 2 | =========================================== 3 | 4 | Copied and updated from http://ideone.com/mKB5l (with clicky links) 5 | 6 | ### Execute Prolog Online 7 | * https://www.tutorialspoint.com/execute_prolog_online.php 8 | 9 | #### Prolog subredit 10 | * http://www.reddit.com/r/prolog/ 11 | 12 | #### Introduction to Prolog Videos 13 | * https://www.youtube.com/watch?v=GHLfeGN5OMk 14 | 15 | #### Learn Prolog Now! 16 | Patrick Blackburn, Johan Bos, and Kristina Striegnitz 17 | * 18 | * 19 | 20 | #### Prolog Wiki Book 21 | * http://en.wikibooks.org/wiki/Prolog 22 | 23 | #### Prolog Programming in Depth 24 | Michael A. Covington, Donald Nute, and André Vellino 25 | * http://www.covingtoninnovations.com/books.html#ppid 26 | 27 | #### Natural Language Processing for Prolog Programmers 28 | Michael A. Covington 29 | http://www.covingtoninnovations.com/books.html#nlp 30 | 31 | #### prolog :- tutorial. 32 | John R. Fisher 33 | * 34 | 35 | #### Prolog Books & Tutorials 36 | Amzi! 37 | * 38 | 39 | #### Guide to Prolog Programming 40 | ROMAN BARTÁK 41 | * https://kti.mff.cuni.cz/~bartak/prolog/ 42 | 43 | #### Prolog for Software Engineering 44 | Peter B. Reintjes 45 | * 46 | 47 | #### P-99: Ninety-Nine Prolog Problems 48 | Werner Hett 49 | * 50 | 51 | #### Prolog Programming A First Course 52 | Paul Brna 53 | * 54 | * 55 | 56 | #### Introduction to Prolog for Mathematicians 57 | Jocelyn Paine 58 | * 59 | 60 | #### Free Prolog Books 61 | * 62 | 63 | #### Prolog Books 64 | John Fletcher 65 | * 66 | 67 | #### Frequently Asked Questions - comp.lang.prolog 68 | * 69 | 70 | #### Public-domain Prolog library 71 | Jocelyn Paine 72 | * 73 | 74 | #### Programming in Prolog 75 | W.F. Clocksin and C.S. Mellish 76 | 77 | #### Clause and Effect 78 | (!) W.F. Clocksin 79 | 80 | #### Logic, Programming and Prolog 81 | Ulf Nilsson and Jan Maluszynski 82 | * 83 | 84 | #### Computing with Logic: Logic Programming with Prolog 85 | (!) David Maier and David S. Warren 86 | 87 | #### Artificial Intelligence through Prolog 88 | Neil C. Rowe 89 | * 90 | 91 | #### Simply Logical: Intelligent Reasoning by Example 92 | Peter Flach 93 | * 94 | * 95 | 96 | #### Prolog Programming for Artificial Intelligence 97 | Ivan Bratko 98 | 99 | #### The Art of Prolog: Advanced Programming Techniques 100 | Leon Sterling and Ehud Shapiro 101 | * http://cdn.preterhuman.net/texts/computing/programming/Prolog/The%20Art%20of%20Prolog%20%202nd%20Ed%20-%20Leon%20Sterling%20,%20Ehud%20Shapiro.pdf 102 | 103 | #### The Craft of Prolog 104 | Richard A. O'Keefe 105 | 106 | #### Logic for Problem Solving 107 | Robert Kowalski 108 | * 109 | 110 | 111 | #### Prolog: The ISO Standard 112 | J.P.E. Hodgson 113 | * 114 | 115 | #### Prolog Standards Documents 116 | Roger Scowen 117 | * 118 | 119 | #### Warren's Abstract Machine: A Tutorial Reconstruction 120 | Hassan Aït-Kaci. 121 | * https://github.com/a-yiorgos/wambook 122 | * http://wambook.sourceforge.net/ 123 | 124 | #### Algorithm = Logic + Control 125 | Robert Kowalski 126 | * 127 | 128 | #### Prolog mode for (X)Emacs 129 | Stefan Bruda 130 | * 131 | 132 | #### Natural Language Processing Techniques in Prolog 133 | Patrick Blackburn and Kristina Striegnitz 134 | * 135 | 136 | 137 | #### Open source Prolog implementations 138 | * Warren Abstract Machine 139 | * http://stefan.buettcher.org/cs/wam/ - Java implementation of WAM 140 | * https://github.com/Trismegiste/WamBundle PHP (!) implementation of WAM 141 | * JIT Prolog 142 | * Jitting Prolog for Fun and Profit - http://bergel.eu/download/Dyla2010/schneider-prolog-jit-final.pdf 143 | * http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html 144 | * Prolog in Javascript 145 | * http://ioctl.org/logic/ - Javascript prolog, source code embedded in page 146 | * https://github.com/BijuGC/jsprolog - Easy to embed version of ioctl.org prolog 147 | * Python Interpreter for Prolog 148 | * http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.1886&rep=rep1&type=pdf 149 | * http://www.stups.uni-duesseldorf.de/mediawiki/images/5/5f/Bolz2007-Bachelorarbeit.pdf 150 | * Yield Prolog - a prolog-like technique implmeneted in languages with the yield statement 151 | * http://yieldprolog.sourceforge.net/ 152 | 153 | #### More Prolog links 154 | * SWI Prolog. Both general and SWI-specific - http://www.swi-prolog.org/Links.html 155 | * Amzi Prolog - http://www.amzi.com/articles/ 156 | 157 | --------------------------------------------------------------------------------