Programación lógica : - Iranzo, Pascual Julián (Pearson Educación, 2007)