編集：プロローグが答えです。
2 に答える
0
Fortressプログラミング言語の型システムは、あなたが説明しているものと同じように機能すると思います。これは、一般的な特性を備えたオブジェクト指向型システムを使用して、たとえば、演算子の代数的特性（結合法則、可換性、分配法則、単位元、対称性、1要素、ゼロ要素など）を記述します。クラスタ内のノード間で計算を自動的に分散するには、これらすべてを知る必要があります。
于 2009-07-29T15:47:57.820 に答える
0
Prolog は、公理の処理に適しています。sourceforge.net には、prolog のオープン ソース オブジェクト指向拡張があります。
于 2009-07-29T17:08:57.110 に答える