編集:Prologが答えです。公理を扱うためのプログラミング言語
1
A
答えて
0
Prologは公理を扱うのに適しています。 sourceforge.netでプロローグのオープンソースのオブジェクト指向の拡張機能があります:
0
Fortress Programming Languageのタイプシステムは、何らかの形であなたの記述と似ています。それは、ジェネリック特性を有するオブジェクト指向型システムを使用して、例えば、演算子の代数的性質(結合性、共通性、分散性、同一性、対称性、1要素、ゼロ要素など)クラスタ内のノード間で計算を自動的に分散させるには、これらのすべてを知る必要があります。
+0
[OK]を、これはなかなか良さそうです。それは明らかにかなり若いです。確かめます。 – Alex
関連する問題
- 1. 論理プログラミングのためのPrologより新しいプログラミング言語
- 2. 数理プログラミング言語
- 3. 医療画像処理のための最良のプログラミング言語
- 4. オープンソース管理プログラミング言語
- 5. NLPライブラリ、Javaプログラミング言語のための
- 6. 論理またはCプログラミング言語
- 7. プログラミング言語の複雑さをマスキングするための用語
- 8. 宣言的なプログラミング言語をgrokkingするためのヒント?
- 9. 処理プログラミング言語:輸入サウンドとビデオファイル
- 10. 簡単UDPパケットにボタン - コントロールボードの用語マイコンのプログラミングを扱う人のため
- 11. プログラミング言語
- 12. NesCプログラミング言語
- 13. スキームのプログラミング言語
- 14. Jプログラミング言語での配列言語
- 15. オブジェクト指向プログラミング言語とオブジェクト指向プログラミング言語の違い
- 16. プログラミング/スクリプト言語を識別するためのヘルプ
- 17. 分散メッセージパッシングアルゴリズムを実装するためのプログラミング言語
- 18. オンラインクイズをrepeadetlyで完了するためのプログラミング言語?
- 19. ガベージコレクションと手動メモリ管理を備えたプログラミング言語
- 20. マスターページとプログラミング言語
- 21. Rプログラミング言語 - ループ
- 22. Stratego/XTプログラミング言語
- 23. プログラミング言語機能
- 24. sicxeアセンブリ言語プログラミング
- 25. ウェブ開発のためのプログラミング言語の提案
- 26. Webプログラミングのための強力な型付き言語
- 27. 私のユースケースのプログラミング言語
- 28. TCLをサーバー側プログラミング言語
- 29. プログラミング言語の文法
- 30. ゲームボーイC言語のプログラミングC
これは私が探しているものです。 – Alex
すごくうれしいです:) –