Programación lógica : teoría y práctica - Julián Iranzo, Pascual (Pearson, Prentice Hall, 2007)