[For general logic programming see the Artificial intelligence folder.] --------------------------------------------------------------------- Hassan Ait-Kaci (?): Warren's abstract machine. A tutorial reconstruction. MIT Press 1991. "Reportedly the best tutorial", says comp.lang.prolog FAQ. Krzysztof Apt: From logic programming to Prolog. Prentice-Hall, 1996. 280p. 0-13-230368-X. DM 64. 8821 Fevzi Belli: Einfu''hrung in die logische Programmierung mit Prolog. Bibl. Inst. 1987. 23074 Patrick Blackburn/Johan Bos/Kristina Striegnitz: Learn Prolog now! King's College Publ. 2006, 260p. Eur 15. R. Bol: An analysis of loop checking mechanisms for logic programs. Theor. Comp. Sci. 86 (1991), 35-79. 19998 Max Bramer: Logic programming in Prolog. Springer 2005, 220p. Eur 43. 19992 Ivan Bratko: Prolog programming for artificial intelligence. Addison-Wesley 2001, 680p. Eur 66. 19986 Paul Brna: Prolog programming. Internet 2001, 200p. 11086 Miguel Calejo/Joao Pedro Sousa: Embedding Prolog in the Java environment. Internet ca. 1993, 8p. David Callear: Prolog programming for students. Continuum 2001. DM 51. William Clocksin: Logic programming and digital circuit analysis. J. Logic Programming 4 (1987), 59-82. 12722 William Clocksin: Clause and effect. Prolog programming for the working programmer. Springer 1997, 150p. 3-540-62971-8. DM 34. 19997 William Clocksin/Christopher Mellish: Programming in Prolog. Springer 2003, Eur 37. 23093 Luca Console/Evelina Lamma/Paola Mello/Michela Milano: Programmazione logica e Prolog. Utet 2006, 410p. Eur 24. Michael Covington: Natural language processing for Prolog programmers. Prentice-Hall 1993, 350p. 0-13-629213-5. DM 125. 16051 Michael Covington/Donald Nute/Andre' Vellino: Prolog programming in depth. Prentice-Hall 1997, 520p. $54. M. Dawe/C. Dawe: Prolog for computer science. Springer 1994, 190p. 3-540-19811-3. DM 46. 13361 Pierre Deransart/Aabdel-Ali Ed-Dbali/Laurent Cervoni: Prolog. The standard. Reference manual. Springer 1996, 300p. 3-540-59304-7. DM 64. 12709 Daniel Diaz: GNU Prolog. Internet 2001, 210p. 26088 Kees Doets: From logic to logic programming. MIT Press 1994, 210p. Eur 46. 11087 Samhaa El-Beltagy/Mahmoud Rafea/Ahmed Rafea: Practical development of Internet Prolog applications using a Java front end. Internet 1997, 8p. 27530 Peter Flach: Simply logical. Internet 2018, 240p. G. Gazdar/C. Mellish: Natural language processing in Prolog. Addison-Wesley 1989. F. Giannesini/H. Kanoui/R. Pasero/M. van Caneghem: Prolog. Addison-Wesley 1986. 19972 James Hein: Prolog experiments in discrete mathematics, logic, and computability. Internet 2005, 160p. Hans Kleine-Bu''ning/Stefan Schmitgen: Prolog. Teubner 1988. 19988 Esther König/Roland Seiffert: Grundkurs Prolog für Linguisten. Internet 2003, 117p. 5824 Robert Kowalski: Logic for problem solving. North-Holland 1979. Kenneth Kunen: Negation in logic programming. J. Logic Programm. 4 (1987), 269-308. 14381 Kenneth Kunen: The semantics of answer literals. J. Automated Reas. 17 (1996), 83-95. Christoph Lehner: Prolog und Linguistik. Oldenbourg 1992, 380p. 3-486-22144-2. DM 58. 19989 Stefan Müller: Prolog und Computerlinguistik. Internet Univ. Jena 2001, 200p. 8767 Lee Naish: Negation and control in Prolog. Springer LN CS 238 (1986). 23094 Richard O'Keefe: The craft of Prolog. MIT Press 1990, 390p. Eur 35. Fernando Pereira/Stuart Shieber: Prolog and natural-language analysis. CSLI LN 10 (1987). 19985 Sibylla Priess-Crampe/Paulo Ribenboim: Ultrametric spaces and logic programming. J. Logic Programm. 42/2 (2000), 59-70. 13021 Gerald Sacks: Prolog programming. In 4917 Odifreddi, 90-110. 2095 Peter Schefe: Informatik - eine konstruktive Einfuehrung. Bibl. Inst. 1985. 8804 Herbert Schildt: Professionelles Turbo-Prolog. McGraw-Hill 1988. P. Schmitt: Theorie der logischen Programmierung. Springer 1992, 250p. 3-540-55702-4. DM 48. A very good book. 19987 Bernhard Schröder/Hans-Christian Schmitz: Einführung in Prolog. Internet 2005, 60p. Yoav Shoham: Artificial intelligence techniques in Prolog. Morgan Kaufmann 1994. D. Smith/M. Genesereth/M. Ginsberg: Controlling recursive inference. Artif. Intell. 30 (1986), 343-389. 12901 Leon Sterling/Ehud Shapiro: The art of Prolog. MIT Press 1994, 510p. 0-26219338-8. DM 118. 12717 Wilhelm Weisweber: Prolog - logische Programmierung in der Praxis. Thomson 1997, 380p. 3-8266-0174-2. DM 99. 27531 Jan Wielemaker: SWI Prolog 7.6.4 - reference manual. Internet 2018, 600p. 19971 Jan Wielemaker/Anjo Anjewierden: Programming in XPCE/Prolog. Internet Univ. Amsterdam 2005, 290p. 12713 Neng-fa Zhou: B-Prolog user's manual. Internet 1999, 43p.