Question

Que es ''Logica de programacion''? Alguien que este estudiando alguna ingenieria que me responda esto con sus propias palabras. No quiero definiciones de internet.

Answer 1

lógica de la programación  es un tipo de paradigmas de programación dentro del paradigma de programación declarativa.
El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación basada en restricciones, programas DSL (de dominio específico) e híbridos.
La programación lógica gira en torno al concepto de predicado, o relación entre elementos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.