公理を扱うためのプログラミング言語
-
05-07-2019 - |
質問
edit:プロローグが答えです。
解決
Prologは公理の処理に適しています。 sourceforge.netには、プロローグのオープンソースオブジェクト指向拡張機能があります。
他のヒント
Fortressプログラミング言語の型システムは、あなたが説明したものと同様に機能すると信じています。オブジェクト指向型システムと汎用特性を使用して、たとえば演算子の代数的特性(結合性、可換性、分配性、同一性、対称性、1要素、ゼロ要素など)。クラスター内のノード間で計算を自動的に分散するには、これらすべてを知る必要があります。
所属していません StackOverflow