¿Hay algún lenguaje más nuevo que Prolog especializado en programación lógica?Lenguaje de programación más nuevo que Prolog para programación lógica
Respuesta
Mercury es bonito y moderno, y se parece al prólogo.
Mercury es un nuevo lenguaje de programación lógica/funcional, que combina la claridad y la expresividad de la programación declarativa con funciones avanzadas de análisis estático y detección de errores. Su algoritmo de ejecución altamente optimizado ofrece una eficiencia muy superior a los sistemas de programación lógica existentes y cercana a los sistemas de programación convencionales. Mercury aborda los problemas del desarrollo de programas a gran escala, permitiendo la modularidad, la compilación por separado y numerosas compensaciones de optimización/tiempo.
También propongo Mercury como un gran lenguaje de programación lógica. También tenga en cuenta que, si bien la sintaxis de Mercury puede parecerse a la de Prolog, se siente más como si estuviese programando en Haskell debido al sistema de tipo fuerte. Además, si necesita algunas características típicas de Prolog, como Variables lógicas, Mercury no las admite. En la práctica, evitarlos hará que su programa sea más fácil de mantener :-). Descargo de responsabilidad: yo trabajo en el proyecto Mercury, las observaciones sobre el mantenimiento del código son subjetivas y anecdóticas. Otros comentarios son objetivos –
La falta de variables lógicas parece una gran desventaja. ¿No es un aspecto bastante central de prolog/LP? – ib84
Hay un lenguaje de programación de lógica funcional muy prometedor llamado Curry. A pesar de su novedad, debería ser fácil acostumbrarse a Curry si ya conoces a Haskell y Prolog ya que fue directamente influenciado por estos dos idiomas.
Curry combina de una manera transparente características de la programación funcional (expresiones anidadas, de orden superior funciones, la evaluación perezosa), lógica de programación (variables lógicas, estructuras de datos parciales, una función de búsqueda) y programación simultánea (evaluación simultánea de las expresiones con sincronización en variables lógicas ).
Oz/Mozart es un lenguaje de programación multi-paradigma que admite la programación lógica como una de sus características. Nunca lo he usado así que no puedo decir si es bueno. Sin embargo, parece interesante.
Descargo de responsabilidad: Trabajo en el proyecto Mercury y elegiría Mercury en una elección entre Oz/Mozart y Mercury.
Por favor, corrija el enlace a Oz/Mozart. – nbro
No olvide que Prolog es el anfitrión de muchas extensiones más nuevas que pueden considerarse idiomas por derecho propio. En particular, lenguajes de restricción como CLP (R), CLP (Q), CLP (FD). Extensiones más generales como CHR, pero también muchos enfoques tipados.
Estos idiomas generalmente se envían como una biblioteca en un sistema Prolog existente. Lo que obtienes en ese entorno suele ser una implementación significativamente más madura y estable que la que ofrece el sistema desde cero. Después de todo, muchos sistemas Prolog tienen casi 30 años.
Logtalk es un lenguaje de programación lógica orientado a objetos que amplía y aprovecha el lenguaje Prolog con un conjunto de características adecuado para la programación en gran tamaño, centrándose en la encapsulación de código y mecanismos de reutilización. Es altamente portable como un compilador de back-end que mantiene las implementaciones de Prolog de manera más activa. Otras características dignas de mención incluyen la compatibilidad con prototipos y clases, protocolos (interfaces), coinducción, programación basada en componentes, programación basada en eventos y programación multi-threading de alto nivel. La distribución actual incluye un gran conjunto de ejemplos de programación, herramientas de programación, bibliotecas y editores de texto, y soporte de resaltado de sintaxis para programar y publicar código fuente.
- 1. ¿Es Erlang un lenguaje de programación de restricción de lógica?
- 2. Siri lenguaje de programación
- 3. Programación Relacional/Lógica en Python?
- 4. lenguaje de programación de scripting más rápido?
- 5. más dinámico lenguaje de programación dinámico
- 6. .NET lenguaje para programación simultánea
- 7. Lenguaje de programación y compilador
- 8. ¿Qué es este nuevo lenguaje de programación Axum?
- 9. UML para el lenguaje de programación C
- 10. lenguaje de programación universal para Windows
- 11. ¿Qué lenguaje de programación para cloud computing?
- 12. Windows: ¿Qué lenguaje de programación?
- 13. Lenguaje de programación de alto nivel para la composición musical
- 14. ¿Cuál es el lenguaje de programación más conciso?
- 15. GBA ROM Lenguaje de programación
- 16. ¿Por qué no ha atrapado la programación lógica?
- 17. ¿Cuál es el lenguaje de programación funcional más mínimo?
- 18. Hojas de cálculo que utilizan un lenguaje de programación funcional
- 19. Lenguaje de programación de gráficos por computadora
- 20. Lógica de programación orientada a objetos
- 21. ¿Qué lenguaje de programación funcional debería elegir como primer lenguaje de programación funcional?
- 22. ¿Cómo aprender R como lenguaje de programación?
- 23. ¿Cómo hacer tu propio lenguaje de programación?
- 24. Lenguaje de programación basado en Unicode
- 25. Lógica en Prolog
- 26. ¿Cómo crear un lenguaje de programación .Net?
- 27. ¿Qué tan similares son los lenguajes de bases de datos relacionales y la programación lógica?
- 28. Sistema de documentación que es independiente del lenguaje de programación
- 29. biblioteca de álgebra lineal para el lenguaje de programación D
- 30. Lenguaje de programación de proyectos Enterprise Architect
Wikipedia tiene una lista de lenguajes de programación lógica: https://en.wikipedia.org/wiki/Category:Logic_programming_languages –