La "Programación de Prolog para IA" de Bratko es excelente, clara, animada y accesible. Sterling y Shapiro, "The Art of Prolog", también son muy buenos, muy minuciosos con las cosas básicas/fundamentales.
Bratko fue el que "hizo clic" para mí. Le quité este eslogan (no recuerdo si lo escribió o si lo destilé de su libro de alguna manera) - en Prolog, para entender que la pregunta es tener su respuesta. Escribir la pregunta correctamente le da un programa ejecutable, más o menos. Recuerdo leer una página en árboles AVL donde escribió la definición, y di vuelta la página esperando ver la "solución". Pero ya era por otra cosa. Volviendo la página hacia atrás, me di cuenta de que la declaración de qué árboles AVL era, ya era el programa en sí.
Todo lo que puedo decir es que sé por experiencia que no hay buenos libros para principiantes ' – keyser
http://stackoverflow.com/questions/401635/good-beginners-material-on-prolog – m09
@ keyser5053: I no estoy de acuerdo, ¡me encuentro con Learn Prolog ahora! ser un buen material para principiantes, por ejemplo. – m09