EulerSharp 2011-06-24

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

に関しては EulerSharp

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