La progralógica (acrónimo de programación y lógica) es un término genérico utilizado para referirse a distintos tipos de programas de computadora.