DeduccionNatural.pl: herramienta escrita en Prolog para el aprendizaje de la asignatura de Lógica | Publicación