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
Programa: Funcional
Conjunto de funciones que definen funciones.
Semántica operacional:
Reducción (ajuste de patrones)
Orden superior
Uso único de cada función
Determinismo
Sin variables lógicas
Estructuras potencialmente infinitas
Evaluación perezosa
Programa: Lógico
Conjunto de clausulas que definen relaciones
Semántica operacional:
Resolución SLD (unificación)
Primer orden
Uso múltiple de un mismo procedimiento
Indeterminismo
Variables lógicas
Sin estructuras infinitas
Sin evaluación perezosa