K-Prolog Compiler Version 6.0

C言語インタフェース

K-Prolog には、C言語で書かれたライブラリを組込み述語として接続し、また、C言語の関数の中からPrologの述語を呼び出すためのインタフェースを作るためのAPIがあります。
この機能を使用するためには、C言語によるプログラミングおよびmakeに関する知識が必要です。

接続は K-Prolog のロードモジュールと、組み込むライブラリ及びそれらの間のインタフェースをリンクして、新しいロードモジュールを作ることによって行います。 C言語で書かれた述語を外部述語と呼びます。