Este último sea posiblemente el mejor libro de programación lógica en español, ya que también contiene las bases de lógica matemática.