OpenCycは、世界最大かつ最も完全な一般知識ベースであり常識的な推論エンジンであるCycテクノロジーの縮小オープンバージョンです。CycのビルダーであるCycorpは、OpenCycの普及と管理を行う独立組織OpenCyc.orgを設立し、現在および将来のすべてのCycテクノロジーがResearchCycに流れるパイプラインにコミットしています（学術および業界のR＆Dで利用可能））、次にOpenCyc。
ウェブサイト:
http://opencyc.org/カテゴリー
WindowsのOpenCycの代替
6
SWI Prolog
SWI-Prologは、論理的な推論を行うソフトウェアをプログラミングするための包括的なフリーソフトウェアProlog環境を提供します。
- 無料アプリ
- PortableApps.com
- Windows
- Mac
- Linux
