Paradigma lógico: Se basa en hechos y reglas, y las soluciones se encuentran mediante inferencia lógica.
Declarativo: El programador especifica qué hacer, no cómo hacerlo.
Backtracking automático: PROLOG explora automáticamente todas las posibles soluciones mediante retroceso.
Unificación: PROLOG utiliza un mecanismo de unificación para emparejar patrones y resolver consultas.
Eficiencia simbólica: Es particularmente efectivo para trabajar con datos no numéricos y estructuras simbólicas complejas.
Motor de inferencia: Usa un motor lógico para deducir soluciones basándose en las reglas definidas.
No hay comentarios.:
Publicar un comentario