Linguaggio di programmazione per lavorare con gli assiomi

Question

modifica: Prolog è la risposta.

Answer 1

Prolog è buono per la gestione degli assiomi. Esiste un'estensione open source orientata agli oggetti di prolog su sourceforge.net:

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

Answer 2

Credo che il sistema di tipi del Linguaggio di programmazione della fortezza funziona in qualche modo simile a quello che descrivi. Utilizza un sistema di tipi orientato agli oggetti con tratti generici per descrivere ad es. Proprietà algebriche degli operatori (come associatività, commutatività, distributività, identità, simmetria, un elemento, elemento zero e così via). Deve conoscerli tutti per distribuire automaticamente i calcoli tra i nodi in un cluster.