Linguagem de programação para trabalhar com axiomas

Question

Edit: Prolog é a resposta.

Answer 1

Prolog é bom para lidar com axiomas. Existe uma extensão orientada a objetos de código aberto do Prolog em fonteforge.net:

http://sourceforge.net/projects/ooPl/

Answer 2

Eu acredito no sistema de tipo do Linguagem de programação da fortaleza Funciona de alguma forma semelhante ao que você descreve. Ele usa um sistema de tipo orientado a objetos com características genéricas para descrever as propriedades algébricas do EG dos operadores (como associatividade, comutatividade, distributividade, identidade, simetria, elemento único, elemento zero e assim por diante). Ele precisa saber tudo isso para distribuir automaticamente os cálculos entre nós em um cluster.