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

Question

編集：Prologが答えです。

Answer 1

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

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

Answer 2

Fortress Programming Languageのタイプシステムは、何らかの形であなたの記述と似ています。それは、ジェネリック特性を有するオブジェクト指向型システムを使用して、例えば、演算子の代数的性質（結合性、共通性、分散性、同一性、対称性、1要素、ゼロ要素など）クラスタ内のノード間で計算を自動的に分散させるには、これらのすべてを知る必要があります。