Lenguaje de programación para trabajar con axiomas.

Question

editar: Prólogo es la respuesta.

Answer 1

Prolog es bueno para manejar axiomas. Hay una extensión de código abierto orientada a objetos de prólogo en sourceforge.net:

http://sourceforge.net/projects/oopl/

Answer 2

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.