Paradigma Declarativo: PROLOG es un lenguaje declarativo, lo que significa que el programador define "qué" quiere lograr en lugar de "cómo" lograrlo. Se enfocan en la lógica del problema, dejando al motor de inferencia la tarea de encontrar soluciones.
Unificación y Retroceso: PROLOG emplea un mecanismo de unificación para hacer coincidir patrones y utiliza retroceso (backtracking) para explorar múltiples posibilidades de solución.
No Procedimental: No sigue una secuencia de ejecución predefinida; la resolución de problemas se basa en la satisfacción de condiciones lógicas.
Manipulación de Simbólica y Estructuras de Datos Complejas: Facilita el trabajo con listas y estructuras recursivas, siendo eficaz en tareas que requieren manipulación simbólica.
No hay comentarios.:
Publicar un comentario