プログラム eulersharp.sf.net

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