SWI Prolog

SWI Prolog

SWI-Prologは、論理的な推論を行うソフトウェアをプログラミングするための包括的なフリーソフトウェアProlog環境を提供します。
SWI-Prologは、論理的な推論を行うソフトウェアをプログラミングするための包括的なフリーソフトウェアProlog環境を提供します。グラフィックツールキットXPCEとともに、その開発は1987年に開始され、実際のアプリケーションのニーズによって推進されてきました。最近では、SWI-Prologは研究および教育、ならびに商用アプリケーションで広く使用されています。
swi-prolog

ウェブサイト:

特徴

カテゴリー

ライセンスのあるすべてのプラットフォームでのSWI Prologの代替

OpenCyc