Please enable JavaScript.
Coggle requires JavaScript to display documents.
Programación Lógica vs Programación Funcional. - Coggle Diagram
Programación Lógica vs Programación Funcional.
Lógica
Programa: Conjunto de cláusulas que definen relaciones
Semántica Operacional: Resolución SLD (Unificación)
Uso múltiple de un mismo procedimiento.
Indeterminismo.
Sin estructuras infinitas
Sin evaluación perezosa.
Variables Lógicas.
Primer Orden
Funcional.
Programa: Conjunto de ecuaciones que definen funciones.
Semántica Operacional: Reducción (Ajustes de patrones)
Orden superior
Uso único de cada función.
Funcional
Determinismo.
Sin variables lógicas.
Estructuras potencialmente infinitas
Evaluación perezosa.