Tipos de computaciones lo¿gicas

Este vídeo explica los tres tipos de computaciones lógicas: de éxito, de fallo e infinitas