IF/Prolog 4.1は、IF/Prolog 4.0を拡張したバージョンです。カーネル自体にも少し変更がありますが、主に、グラフィックユーザインタフェース(OSF/Motif 1.1 および X11R4 Athena Widget )などの外部のソフトウェアとのインタフェースを拡張することに力を注ぎました。

主な変更点は以下の通りです。

＜SQLインタフェース＞ OracleとInformixに加えてIngresバージョンもできました。

＜X11インタフェース＞ X11インタフェースは、X11リリース4とこれに付随するAthena Widgetsとに基づいています。

＜OSF/Motifインタフェース＞ OFS/Motif インタフェースは、OSF/Motif1.1に基づいています。OSF/Motif 1.1は、ほとんどのハードウェア上でサポートされています。

＜グラフィックユーザインタフェース＞ X11R4とのインタフェースあるいはOSF/Motif1.1とのインタフェースをサポートしているプラットフォーム上では、IF/Prolog自体のグラフィックユーザインタフェースを使うことができます。ウィンドウ指向の開発環境およびデバッガーは、より高度な機能を持っています。

＜DEC10 ライブラリ＞ Prolog用のDEC10のパブリックドメインライブラリが、IF/Prolog用に移植されました。ユーザには、すべてのモジュールのソースコードが提供されており、好きなようにチューニングすることができます。

＜クイックレファレンス＞ IF/Prologの述語のクイックレファレンスは、help/0/1/2述語を介して、オンラインで使用できます。

＜新しい述語＞ copy_term/2とonce/1の2つの述語ができました。これらは、IF/Prologに含まれたISO-Prologの標準の一部として、新たに加えられました。

＜ハイパーテキストマニュアル＞ IF/Prologのレファレンスマニュアルは、オンラインのハイパーテキストとして使用できます。