オイラーは、ロジックベースの証明をサポートする推論エンジンです。これは、オイラーパス検出で強化された後方連鎖推論器です。Java、C#、Python、Javascript、プロローグに実装があります。N3を介してW3C Cwmと相互運用可能です。
バージョン履歴
- バージョン Euler-2011-06-24 に転記 2011-06-25
- バージョン Euler-2011-03-25 に転記 2011-03-25
いくつかの修正と更新
プログラムの詳細
- カテゴリ: システム ユーティリティ > 他
- パブリッシャー: eulersharp.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 2011-06-24
- プラットフォーム: linux