SWI-Prologは Prolog言語の実装であり、Prolog学習あるいは論理プログラミングの研究、アプリケーション開発のために、フリーでユーザフレンドリー、高速、スケーラブルなプラットフォームの提供を目的としています。その XPCEグラフィックスライブラリを用いて、Prologとアプリケーションの移植可能（Unix/X11、Windows、Mac OS X）なグラフィックスの開発環境を提供します。これには、大変高速なコンパイラ、ISOと多くの事実上の標準への準拠、スケーラビリティ、モジュール、ガベージコレクション(atomについても)、高速双方向の Cおよび C++インターフェイス、埋め込み性、最後の呼び出しの最適化、移植性(ANSI-C 32および64ビット プラットフォーム）といった特徴があります。
