ソフトウェアデベロッパーが、IF/Prologを用いてアプリケーションを作り上げた後、 アプリケーションを複数のマシンで使用したり販売したりする場合、IF/Prologランタイムライセンスシステムでの利用が非常に便利です。
IF/Prologのランタイムライセンスシステムでは、IF/Prologはアプリケーションと共にパッケージ化されますので、 ソフトウェアデベロッパーが、簡単にIF/Prologを生成し納品することができます。 納品を受けたエンドユーザーも、簡単にこれをインストールすることができます。また、アプリケーションが、速く立ち上がるという利点もあります。 経済的にも、ランタイムライセンスシステムのIF/Prologは、開発ライセンスシステムに比べて安い価格で提供されます。
ランタイムライセンス契約の条件
以下の説明では、ソフトウェアデベロッパー(以下アプリケーション開発者と呼ぶ)を使用する顧客(以下エンドユーザーと呼ぶ)に提供するアプリケーションを、 Prologアプリケーションと呼びます。
ランタイムライセンスアプリケーションは、エンドユーザーの持つマシンとバイナリ互換性を持つマシンの上で生成されます。 つまり、ソフトウェアデベロッパーは、エンドユーザーのOS・CPUタイプと同じOS、CPUタイプの上でのIF/Prologの開発システムを持ち、この上でIF/Prologのランタイムシステム及びアプリケーションを生成せねばなりません。
- IF/Prologに直接アクセスすることはできません。
エンドユーザーは、IF/Prologのインタプリタのレベルでの、呼び出しやブレイクをすることができません。
- サポートやマニュアルは提供されません。
イフ コンピュータは、エンドユーザーに対して、直接サポートは行ないません。また、マニュアルも提供しません。これらは、開発ライセンスの所有者のみに対して行なわれます。 エンドユーザーは、アプリケーションの中でIF/Prologが使われていることさえも知る必要がありません。
- 開発ツールではありません。
ソフトウェアデベロッパーは、IF/Prologの開発システムをエンドユーザーに納品することはできません。
エンドユーザーは、このランタイムシステムを使って、別のPrologのプログラムを作ることはできません。IF/Prologのダイナミックな特徴はアプリケーションの中では使われますが、エンドユーザーがIF/Prologを使って新しいプログラムを作れないように、エンドユーザーの目から隠されています。
ランタイムシステム
Prologアプリケーションは、
- Prologのカーネル・システム - ランタイム環境
の2つの部分で構成されます。
Prologアプリケーションをアプリケーションを使用するエンドユーザー側で実行可能にするためには、ライセンスキーをIF Computerから得なければなりません。
Prologカーネル・システム
メイクファイルによって新しいPrologシステムまたはカーネル・システムを生成します。 アプリケーションの中で、Cインタフェース（能動、受動またはデバイスドライバ）、あるいはOSF/Motif、Informixののインタフェースを使用している場合、新しいカーネル・システムを生成する前に、の中で、これらを含むように設定せねばなりません。
新しいPrologシステムは、アプリケーションの一部として顧客にとって提供されます。
ランタイム環境
ランタイム環境は、アプリケーション開発者がPrologで書いたアプリケーションの部分です。 エンドユーザーは、述語save_runtime/1でセーブされたシステム状態の形で、アプリケーションを実行できる環境を受けとります。 Prologで書かれているIF/Prologの部分も、セーブされたシステム状態の形で提供されます。 IF/Prologのランタイムバージョンは、普通runtime.pstという名前です。
Prologアプリケーションのためのランタイム環境を作る場合には、すべてのPrologのプログラムとPrologのライセンス・キーを含むように作らねばなりません。
Prologアプリケーション生成方法
上でも述べたように、ランタイムライセンスアプリケーションは、エンドユーザーの持つマシンとバイナリ互換性を持つマシンの上で生成されます。 つまり、ソフトウェアデベロッパーは、エンドユーザーのOS・CPUタイプと同じOS、CPUタイプの上でのIF/Prologの開発システムを持ち、この上でIF/Prologのランタイムシステム及びアプリケーションを生成せねばなりません。
以下に、どのようにPrologアプリケーションを生成するかを示します。 アプリケーションapp.proの Prologに書かれた部分は、 モジュールappとして格納されるねばなりません。
:- module app. :- begin_module app.app:- write('I am a PROLOG application'), nl, halt.
:- end_module app.
新しく生成されたPrologカーネル・システムと提供されたランタイム・ライセンスキー（$PROROOT/prolib/runtime.pstを含んだアプリケーションのPrologプログラムをロードしなければなりません。 そして、それをセーブシステム状態として、ファイルの中に格納しなければなりません。
以下のgen.proプログラムの中で、 ファイルapp.pstの中のinit指令は、述語program/0がモジュールuserの中のアプリケーションのエントリポイントであるシステムを生成しています。
:- init((save_runtime('app.pst'), halt)).
program:- app:app.
ここで、明示的にセーブシステム状態を生成するために新しいPrologカーネル・システムとPrologランタイムライセンスキーを持ったセーブシステム状態を 呼び出します。 すでに生成されたファイルを使い、新しいPrologカーネル・システムを{\sl app\_prolog}と名づけるならば、呼び出しは以下のようになります。
app_prolog -r $PROROOT/prolib/runtime.pst -c app.pro -c gen.pro
app.proとgen.proを使用して、 すべての必要な情報を含み、アプリケーションのエンドユーザーに提供することができるファイル、app.pstをセーブシステム状態として、 生成するすることができます。
エンドユーザーは、上述の例の場合、以下のようなシェルスクリプトで、 アプリケーションを呼び出すことになります:
$path/app_prolog -r $path/app.pst $*
$pathは、顧客のシステムの上でアプリケーションがインストレーションされているディレクトリです。