Lógica Práctica y Aprendizaje Computacional