kprolog K-Prolog Compiler Version 6.0

ダイナミックローディング

ロードモジュールにモジュールをあらかじめリンクしないで、 実行時にダイナミックローディングによって外部述語のモジュール およびＣ言語の関数をロードすることができます。
これをインクリメンタルローディングといいます。

外部述語は、コンパイルされた Prolog言語のモジュールと同様に オブジェクトファイルとなっており、モジュールとして扱うことができます。
Windows版ではモジュールはさらにDLLに変換されます。 

   22: ?- load_compiled_modules([module1,interface],"cfunc.o mylib.a -lm").
は、plcの実行中にモジュール module1およびＣ言語インタフェースinterface、 Ｃ言語の関数 cfunc.o と必要なライブラリを結合します。 ここで、interface.oは入口点定義ファイルinterface.defから生成された モジュールとします。

一つ上に戻る 目次に戻る