buscando recursos para programación y maquetación web he ido a parar a esos sitios que me encantan que son las librerias opensource.
allí encontré un libro gratuito titulado 'programación lógica e I.A.' (I.A.=Inteligencia Artificial)
ni lo he abierto, pero viendo el índice creo que te puede interesar (te resalto en negrita lo que creo que más te puede alentar a leerlo, aunque es obvio que es mejor leer todo el libro)
El sistema deductivo de Prolog
Introducción a la programación lógica con Prolog
Programación con Prolog
Resolución de problemas de espacios de estados
Procesamiento del lenguaje natural Ingeniería del conocimiento y metaintérpretes Razonamiento por defecto y razonamiento abductivo Programación lógica con restricciones Formalización en Prolog de la lógica proposicional Programación lógica y aprendizaje automático http://www.etnassoft.com/biblioteca/...-logica-e-i-a/
espero que te sirva, hasta aquí puedo ayudarte, más no, lo siento xD
saludos y ya me cuentas si quieres por mensaje privado qué tal te fué en tu desarrollo.
suerte amigo! un placer haber contribuido con un granito de arena a tu causa!! :D