Lenguaje de programación para trabajar con axiomas.
-
05-07-2019 - |
Pregunta
editar: Prólogo es la respuesta.
Solución
Prolog es bueno para manejar axiomas. Hay una extensión de código abierto orientada a objetos de prólogo en sourceforge.net:
Otros consejos
Creo que el sistema de tipos del Fortress Programming Language funciona de alguna manera similar a lo que usted describe. Utiliza un sistema de tipo orientado a objetos con rasgos genéricos para describir, por ejemplo, Propiedades algebraicas de los operadores (como asociatividad, conmutatividad, distributividad, identidad, simetría, elemento único, elemento cero, etc.). Debe conocer todo esto para distribuir automáticamente los cálculos entre los nodos de un clúster.
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow