EulerSharp 2011-06-24

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

オイラーは、ロジックベースの証明をサポートする推論エンジンです。これは、オイラーパス検出で強化された後方連鎖推論器です。Java、C#、Python、Javascript、プロローグに実装があります。N3を介してW3C Cwmと相互運用可能です。

バージョン履歴

  • バージョン Euler-2011-06-24 に転記 2011-06-25
  • バージョン Euler-2011-03-25 に転記 2011-03-25
    いくつかの修正と更新

プログラムの詳細