En primer lugar, ¿qué recomiendas como un libro para aprender prólogo. Segundo, ¿hay una manera fácil de cargar muchos archivos .pl a la vez? Actualmente solo está haciendo uno a la vez con ['name.pl'], pero es molesto hacerlo una y otra vez. También estoy usando this para aprender.Prolog preguntas básicas
Gracias
En primer lugar, bienvenido a Prolog! Creo que lo encontrarás gratificante y agradable.
Los libros que veo habitualmente recomendados son El arte de Prolog, programación Prolog y Cláusula y Efecto. Tengo Arte y Programación y ambos son buenos libros; Arte es ciertamente más enciclopédico y Programación es más lineal. Yo consulto Art y Craft mucho últimamente, y algunos más raros (Logic Grammars por ejemplo). Espero comprar Prolog Programming en profundidad siguiente. No creo que haya muchos libros malos de Prolog que uno deba tratar de evitar. Probablemente salvaría Craft y Practique para más adelante.
Puede cargar varios archivos a la vez, mediante su inclusión:
:- [file1, file2, file3].
Además, dado que 'name.pl' termina en '.pl' se puede omitir las comillas; las comillas simples solo son realmente necesarias si Prolog no toma el encerrado como un átomo ordinariamente.
Espero que esto ayude y buena suerte en su viaje. :)
Esta es una pequeña introducción corta: http://www.soe.ucsc.edu/classes/cmps112/Spring03/languages/prolog/PrologIntro.pdf
También quiero decir que hay un buen orientado SWI pdf por ahí, pero no puedo encontrarlo.
Si está interesado en una introducción matemática, Logic, Programming and Prolog (2ED) es un libro interesante, de Nilsson y Maluszinski.
La programación en Prolog, por Clocksin y Mellish, es el clásico libro de texto introductorio.
En SWI-Prolog, también echa un vistazo:
?- make.
para recargar automáticamente los archivos que se han modificado desde que fueron consultados.
Puede consultar this question. Hay varios buenos libros recomendados allá atrás.
No repetiré las elecciones clásicas ya mencionadas en otras respuestas, pero añadiré una nota sobre la Programación de Prolog en profundidad por Michael Covington, Donald Nute y Andrew Vellino. Dos capítulos que me gustaría destacar son los capítulos rastreo a mano y reglas derrotables.El primero le muestra cómo rastrear un cálculo de Prolog en lápiz y papel de una manera eficiente y útil. Este último muestra cómo crear código Prolog que admita reglas derrotables. A diferencia de las reglas a las que está acostumbrado en Prolog que tienen éxito o fracasan rotundamente y no se ven afectadas por nada que no se establezca en la regla, las reglas derrotables pueden tener éxito con la información establecida en la regla pero pueden ser socavadas por otras reglas en la base de conocimiento haciendo que la expresión sea generalmente cierta pero tenga excepciones más fáciles de una manera que sea compacta y fácil de entender. Mejor dicho por el libro "Una regla derrotable, por otro lado, es una regla que no se puede aplicar a algunos casos aunque esos casos satisfagan sus condiciones, porque algún conocimiento en otra parte de la base de conocimiento impide que se aplique".
Es un concepto intrigante que no he encontrado en otros libros.
También me gustaría mencionar el libro de Ivan Bratko, "Programación Prolog para inteligencia artificial", elogiado (merecidamente) por su estilo de presentación claro y lúcido. –