logica de programacion

es un tipo de paradigmas de programación dentro del paradigma de programación declarativa.
conjunto de herramientas que ayuda al desarrollo de la aplicacion informatica