公理を扱うためのプログラミング言語

Question

edit：プロローグが答えです。

Answer 1

Prologは公理の処理に適しています。 sourceforge.netには、プロローグのオープンソースオブジェクト指向拡張機能があります。

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

Answer 2

Fortressプログラミング言語の型システムは、あなたが説明したものと同様に機能すると信じています。オブジェクト指向型システムと汎用特性を使用して、たとえば演算子の代数的特性（結合性、可換性、分配性、同一性、対称性、1要素、ゼロ要素など）。クラスター内のノード間で計算を自動的に分散するには、これらすべてを知る必要があります。