- Prolog es un lenguaje de programación lógica simple y declarativo, homoicónico y muy dinámico.
- La sintaxis de Prolog es fácil de entender y usar, y todos los datos se expresan mediante términos de Prolog y un único elemento del lenguaje llamado 'cláusula (clause)'.
- En Prolog, una cláusula tiene la forma 'Head :- Body', lo que significa que si Body es válido, entonces Head también lo es.
- Prolog es un lenguaje de programación Turing completo, y cualquier cómputo conocido puede describirse con sus cláusulas.
- Como lenguaje declarativo, Prolog se enfoca en especificar lo que nos interesa y en expresar qué es válido respecto de la solución que queremos encontrar.
- La naturaleza declarativa de Prolog permite especificaciones muy concisas, claras y generales.
- Prolog es un lenguaje de programación lógica, y un programa Prolog puro está compuesto por un conjunto de cláusulas de Horn; su ejecución puede considerarse un caso especial de resolution.
- Prolog es un lenguaje homoicónico, y un programa Prolog también es un término Prolog válido. Esto hace que sea fácil escribir programas en Prolog que analicen, transformen e interpreten otros programas Prolog.
- Prolog es un lenguaje muy dinámico, en el que los programas pueden generarse, invocarse y modificarse con facilidad.
- Las características dinámicas de Prolog lo hacen ideal para escribir programas extensibles con reglas definidas por el usuario, aportadas por otros programadores y usuarios en general.
- Prolog es un lenguaje muy versátil, y gracias a su naturaleza relacional, los programas Prolog son muy flexibles y generales.
- La versatilidad y el poder de Prolog se basan en mecanismos implícitos que incluyen búsqueda, unificación, indexación de argumentos y propagación de restricciones.
1 comentarios
Comentarios en Hacker News