SOME LOGIC PROGRAMMING RESOURCES (based on http://p...content-available-to-author-only...p.org/display/96726 - updated and so on) Learn Prolog Now! Patrick Blackburn, Johan Bos, and Kristina Striegnitz <http://w...content-available-to-author-only...w.org/> <http://c...content-available-to-author-only...n.edu/~striegnk/learn-prolog-now/html/> <http://c...content-available-to-author-only...n.edu/~striegnk/learn-prolog-now/html/html/prolog-notes.pdf> prolog :- tutorial. John R. Fisher <http://w...content-available-to-author-only...a.edu/~jrfisher/www/prolog_tutorial/contents.html> Prolog Tutorials James F. Power (!) <http://w...content-available-to-author-only...m.ie/~jpower/Courses/PROLOG/index.html> (Assumes SICStus Prolog, most of the information should be portable to other implementations) Prolog Books & Tutorials Amzi! <http://w...content-available-to-author-only...i.com/articles/prolog_books_tutorials.htm> Guide to Prolog Programming Roman Bártak <http://k...content-available-to-author-only...i.cz/~bartak/prolog/index.html> Prolog for Software Engineering Peter B. Reintjes <http://w...content-available-to-author-only...c.nz/~j-hamer/07.363/prolog-for-se.html> An Introduction to Language Processing with Perl and Prolog Pierre Nugues (?) <http://w...content-available-to-author-only...h.se/home/Pierre_Nugues/ilppp/index.html> P-99: Ninety-Nine Prolog Problems Werner Hett <https://p...content-available-to-author-only...h.ch/hew1/informatik3/prolog/p-99/index.html> Prolog Programming A First Course Paul Brna <http://h...content-available-to-author-only...c.uk/pbrna/prologbook/> <http://w...content-available-to-author-only...a.it/people/sessa/www/brna_prolog.pdf> Introduction to Prolog for Mathematicians Jocelyn Paine <http://w...content-available-to-author-only...e.org/prolog/mathnotes/files/contents.html> Free Prolog Books <http://w...content-available-to-author-only...s.com/prologbook.html> Prolog Books John Fletcher <http://w...content-available-to-author-only...o.uk/prolog_books.html> Frequently Asked Questions - comp.lang.prolog <http://w...content-available-to-author-only...c.at/prolog/faq/faq.html> Public-domain Prolog library Jocelyn Paine <http://w...content-available-to-author-only...e.org/prolog/library.html> Programming in Prolog W.F. Clocksin and C.S. Mellish <http://w...content-available-to-author-only...e.com/Programming-general/William-F-Clocksin-Christopher-S-Mellish-Programming-in-BI22314.html> Clause and Effect (!) W.F. Clocksin Logic, Programming and Prolog Ulf Nilsson and Jan Maluszynski <http://w...content-available-to-author-only...u.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://f...content-available-to-author-only...s.edu/ncrowe/book/book.html> Simply Logical: Intelligent Reasoning by Example Peter Flach <http://w...content-available-to-author-only...c.uk/~flach/SimplyLogical.html> <http://w...content-available-to-author-only...c.uk/~flach/SL/SL.pdf> Prolog Programming for Artificial Intelligence Ivan Bratko <http://w...content-available-to-author-only...e.com/Programming-general/PROLOG-Programming-for-Artificial-Intelligence-BI20607.html> The Art of Prolog: Advanced Programming Techniques Leon Sterling and Ehud Shapiro (!) The Craft of Prolog Richard A. O'Keefe <http://w...content-available-to-author-only...e.com/Programming-general/The-Craft-of-Prolog-Logic-Programming-BI8808.html> Logic for Problem Solving Robert Kowalski <http://w...content-available-to-author-only...c.uk/~rak/index.html> Prolog: The ISO Standard J.P.E. Hodgson <http://p...content-available-to-author-only...a.fr/~deransar/prolog/index.html> Prolog Standards Documents Roger Scowen <http://w...content-available-to-author-only...u.edu/afs/cs/project/ai-repository/ai/lang/prolog/doc/standard/> Warren's Abstract Machine: A Tutorial Reconstruction Hassan Aït-Kaci <http://w...content-available-to-author-only...b.es/shared/teach/a25002/WAMBOOK.PDF> Algorithm = Logic + Control Robert Kowalski <http://w...content-available-to-author-only...c.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf> Prolog mode for (X)Emacs Stefan Bruda <http://t...content-available-to-author-only...s.ca/home/bruda/emacs-prolog/index.html> Natural Language Processing Techniques in Prolog Patrick Blackburn and Kristina Striegnitz <http://c...content-available-to-author-only...n.edu/~striegnk/courses/nlp-with-prolog/html/> Prolog Programming in Depth Michael A.Covington, Donald Nute, Andre Vellino <http://w...content-available-to-author-only...e.com/IT/Prolog-Programming-in-Depth-BI5667.html>

U09NRSBMT0dJQyBQUk9HUkFNTUlORyBSRVNPVVJDRVMgKGJhc2VkIG9uIGh0dHA6Ly9wLi4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5wLm9yZy9kaXNwbGF5Lzk2NzI2IC0gdXBkYXRlZCBhbmQgc28gb24pCgpMZWFybiBQcm9sb2cgTm93IQogIFBhdHJpY2sgQmxhY2tidXJuLCBKb2hhbiBCb3MsIGFuZCBLcmlzdGluYSBTdHJpZWduaXR6CiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi53Lm9yZy8+CiAgPGh0dHA6Ly9jLi4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5uLmVkdS9+c3RyaWVnbmsvbGVhcm4tcHJvbG9nLW5vdy9odG1sLz4KICA8aHR0cDovL2MuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLm4uZWR1L35zdHJpZWduay9sZWFybi1wcm9sb2ctbm93L2h0bWwvaHRtbC9wcm9sb2ctbm90ZXMucGRmPgoKcHJvbG9nIDotIHR1dG9yaWFsLgogIEpvaG4gUi4gRmlzaGVyCiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5hLmVkdS9+anJmaXNoZXIvd3d3L3Byb2xvZ190dXRvcmlhbC9jb250ZW50cy5odG1sPgoKUHJvbG9nIFR1dG9yaWFscwogIEphbWVzIEYuIFBvd2VyCighKSAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5tLmllL35qcG93ZXIvQ291cnNlcy9QUk9MT0cvaW5kZXguaHRtbD4KICAoQXNzdW1lcyBTSUNTdHVzIFByb2xvZywgbW9zdCBvZiB0aGUgaW5mb3JtYXRpb24gc2hvdWxkIGJlIHBvcnRhYmxlIHRvIG90aGVyCiAgIGltcGxlbWVudGF0aW9ucykKClByb2xvZyBCb29rcyAmIFR1dG9yaWFscwogIEFtemkhCiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5pLmNvbS9hcnRpY2xlcy9wcm9sb2dfYm9va3NfdHV0b3JpYWxzLmh0bT4KCkd1aWRlIHRvIFByb2xvZyBQcm9ncmFtbWluZwogIFJvbWFuIELDoXJ0YWsKICA8aHR0cDovL2suLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLmkuY3ovfmJhcnRhay9wcm9sb2cvaW5kZXguaHRtbD4KClByb2xvZyBmb3IgU29mdHdhcmUgRW5naW5lZXJpbmcKICBQZXRlciBCLiBSZWludGplcwogIDxodHRwOi8vdy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uYy5uei9+ai1oYW1lci8wNy4zNjMvcHJvbG9nLWZvci1zZS5odG1sPgoKQW4gSW50cm9kdWN0aW9uIHRvIExhbmd1YWdlIFByb2Nlc3Npbmcgd2l0aCBQZXJsIGFuZCBQcm9sb2cKICBQaWVycmUgTnVndWVzCig/KSAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5oLnNlL2hvbWUvUGllcnJlX051Z3Vlcy9pbHBwcC9pbmRleC5odG1sPgoKUC05OTogTmluZXR5LU5pbmUgUHJvbG9nIFByb2JsZW1zCiAgV2VybmVyIEhldHQKICA8aHR0cHM6Ly9wLi4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5oLmNoL2hldzEvaW5mb3JtYXRpazMvcHJvbG9nL3AtOTkvaW5kZXguaHRtbD4KClByb2xvZyBQcm9ncmFtbWluZyAgQSBGaXJzdCBDb3Vyc2UKICBQYXVsIEJybmEKICA8aHR0cDovL2guLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLmMudWsvcGJybmEvcHJvbG9nYm9vay8+CiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5hLml0L3Blb3BsZS9zZXNzYS93d3cvYnJuYV9wcm9sb2cucGRmPgoKSW50cm9kdWN0aW9uIHRvIFByb2xvZyBmb3IgTWF0aGVtYXRpY2lhbnMKICBKb2NlbHluIFBhaW5lCiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5lLm9yZy9wcm9sb2cvbWF0aG5vdGVzL2ZpbGVzL2NvbnRlbnRzLmh0bWw+CgpGcmVlIFByb2xvZyBCb29rcwogIDxodHRwOi8vdy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4ucy5jb20vcHJvbG9nYm9vay5odG1sPgoKUHJvbG9nIEJvb2tzCiAgSm9obiBGbGV0Y2hlcgogIDxodHRwOi8vdy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uby51ay9wcm9sb2dfYm9va3MuaHRtbD4KCkZyZXF1ZW50bHkgQXNrZWQgUXVlc3Rpb25zIC0gY29tcC5sYW5nLnByb2xvZwogIDxodHRwOi8vdy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uYy5hdC9wcm9sb2cvZmFxL2ZhcS5odG1sPgoKUHVibGljLWRvbWFpbiBQcm9sb2cgbGlicmFyeQogIEpvY2VseW4gUGFpbmUKICA8aHR0cDovL3cuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLmUub3JnL3Byb2xvZy9saWJyYXJ5Lmh0bWw+CgwKUHJvZ3JhbW1pbmcgaW4gUHJvbG9nCiAgVy5GLiBDbG9ja3NpbiBhbmQgQy5TLiBNZWxsaXNoCiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5lLmNvbS9Qcm9ncmFtbWluZy1nZW5lcmFsL1dpbGxpYW0tRi1DbG9ja3Npbi1DaHJpc3RvcGhlci1TLU1lbGxpc2gtUHJvZ3JhbW1pbmctaW4tQkkyMjMxNC5odG1sPgoKQ2xhdXNlIGFuZCBFZmZlY3QKKCEpICBXLkYuIENsb2Nrc2luCgpMb2dpYywgUHJvZ3JhbW1pbmcgYW5kIFByb2xvZwogIFVsZiBOaWxzc29uIGFuZCBKYW4gTWFsdXN6eW5za2kKICA8aHR0cDovL3cuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLnUuc2UvfnVsZm5pL2xwcC9pbmRleC5odG1sPgoKQ29tcHV0aW5nIHdpdGggTG9naWM6IExvZ2ljIFByb2dyYW1taW5nIHdpdGggUHJvbG9nCighKSAgRGF2aWQgTWFpZXIgYW5kIERhdmlkIFMuIFdhcnJlbgoKQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UgdGhyb3VnaCBQcm9sb2cKICBOZWlsIEMuIFJvd2UKICA8aHR0cDovL2YuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLnMuZWR1L25jcm93ZS9ib29rL2Jvb2suaHRtbD4KClNpbXBseSBMb2dpY2FsOiBJbnRlbGxpZ2VudCBSZWFzb25pbmcgYnkgRXhhbXBsZQogIFBldGVyIEZsYWNoCiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5jLnVrL35mbGFjaC9TaW1wbHlMb2dpY2FsLmh0bWw+CiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5jLnVrL35mbGFjaC9TTC9TTC5wZGY+CgpQcm9sb2cgUHJvZ3JhbW1pbmcgZm9yIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlCiAgSXZhbiBCcmF0a28KICA8aHR0cDovL3cuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLmUuY29tL1Byb2dyYW1taW5nLWdlbmVyYWwvUFJPTE9HLVByb2dyYW1taW5nLWZvci1BcnRpZmljaWFsLUludGVsbGlnZW5jZS1CSTIwNjA3Lmh0bWw+CiAgClRoZSBBcnQgb2YgUHJvbG9nOiBBZHZhbmNlZCBQcm9ncmFtbWluZyBUZWNobmlxdWVzCiAgTGVvbiBTdGVybGluZyBhbmQgRWh1ZCBTaGFwaXJvCighKQoKVGhlIENyYWZ0IG9mIFByb2xvZwogIFJpY2hhcmQgQS4gTydLZWVmZQogIDxodHRwOi8vdy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uZS5jb20vUHJvZ3JhbW1pbmctZ2VuZXJhbC9UaGUtQ3JhZnQtb2YtUHJvbG9nLUxvZ2ljLVByb2dyYW1taW5nLUJJODgwOC5odG1sPgoKTG9naWMgZm9yIFByb2JsZW0gU29sdmluZwogIFJvYmVydCBLb3dhbHNraQogIDxodHRwOi8vdy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uYy51ay9+cmFrL2luZGV4Lmh0bWw+CgwKUHJvbG9nOiBUaGUgSVNPIFN0YW5kYXJkCiAgSi5QLkUuIEhvZGdzb24KICA8aHR0cDovL3AuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLmEuZnIvfmRlcmFuc2FyL3Byb2xvZy9pbmRleC5odG1sPgoKUHJvbG9nIFN0YW5kYXJkcyBEb2N1bWVudHMKICBSb2dlciBTY293ZW4KICA8aHR0cDovL3cuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLnUuZWR1L2Fmcy9jcy9wcm9qZWN0L2FpLXJlcG9zaXRvcnkvYWkvbGFuZy9wcm9sb2cvZG9jL3N0YW5kYXJkLz4KCldhcnJlbidzIEFic3RyYWN0IE1hY2hpbmU6IEEgVHV0b3JpYWwgUmVjb25zdHJ1Y3Rpb24KICBIYXNzYW4gQcOvdC1LYWNpCiAgPGh0dHA6Ly93Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5iLmVzL3NoYXJlZC90ZWFjaC9hMjUwMDIvV0FNQk9PSy5QREY+CgpBbGdvcml0aG0gPSBMb2dpYyArIENvbnRyb2wKICBSb2JlcnQgS293YWxza2kKICA8aHR0cDovL3cuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLmMudWsvfnJhay9wYXBlcnMvYWxnb3JpdGhtJTIwPSUyMGxvZ2ljJTIwKyUyMGNvbnRyb2wucGRmPgoKUHJvbG9nIG1vZGUgZm9yIChYKUVtYWNzCiAgU3RlZmFuIEJydWRhCiAgPGh0dHA6Ly90Li4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5zLmNhL2hvbWUvYnJ1ZGEvZW1hY3MtcHJvbG9nL2luZGV4Lmh0bWw+CgpOYXR1cmFsIExhbmd1YWdlIFByb2Nlc3NpbmcgVGVjaG5pcXVlcyBpbiBQcm9sb2cKICBQYXRyaWNrIEJsYWNrYnVybiBhbmQgS3Jpc3RpbmEgU3RyaWVnbml0egogIDxodHRwOi8vYy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4ubi5lZHUvfnN0cmllZ25rL2NvdXJzZXMvbmxwLXdpdGgtcHJvbG9nL2h0bWwvPgoKUHJvbG9nIFByb2dyYW1taW5nIGluIERlcHRoCiAgTWljaGFlbCBBLkNvdmluZ3RvbiwgRG9uYWxkIE51dGUsIEFuZHJlIFZlbGxpbm8KICA8aHR0cDovL3cuLi5jb250ZW50LWF2YWlsYWJsZS10by1hdXRob3Itb25seS4uLmUuY29tL0lUL1Byb2xvZy1Qcm9ncmFtbWluZy1pbi1EZXB0aC1CSTU2NjcuaHRtbD4=