ADDREF.ja    2013/11/26

追加した組込み述語の説明

----------------------------
【述語】
get_install_base_dir/1

【書式】
get_install_base_dir(-A)

【引数】
A:AZ-Prologがインストールされたベースの絶対パスがユニファイされる

【説明】
AZ-Prologがインストールされたベースの絶対パス(例: /usr/local)を返します。
----------------------------
【述語】
get_install_base_dir_normalized/1

【書式】
get_install_base_dir_normalized(-A)

【引数】
A:AZ-Prologがインストールされたベースの絶対パスがユニファイされる

【説明】
AZ-Prologがインストールされたベースの絶対パス(例: /usr/local)を返します。
OSに依らない形式(パス区切りが'/')になります。
----------------------------
【述語】
dlib_require/1

【書式】
dlib_require(+A)

【引数】
A:ロードする拡張ライブラリの名前、あるいはパスを指定する

【説明】
指定された名前、パスの拡張ライブラリをロードして、初期化関数を呼び出します。
名前、パスのどちらで指定する場合にも、ライブラリの拡張子(.so, .dylibなど)部分は含めないように指定します。
パスで指定する場合、ディレクトリの区切り文字はどのOS上でも'/'とします。
パスで指定した場合、相対パスのときは、カレントディレクトリに対する相対パスとみなされます。
パスで指定した場合、絶対パスのときは、サーチパスリストは参照されません。
一度成功すると、同じ名前で何度呼び出しても成功しますが、その場合には何も処理はしません。(パスの部分だけ変えても名前が同じであれば何もしません。)
----------------------------
【述語】
dlib_require/2

【書式】
dlib_require(+A1, +A2)

【引数】
A1:ロードする拡張ライブラリの名前、あるいはパスを指定する
A2:呼び出す初期化関数の名前を指定する

【説明】
指定された名前、パスの拡張ライブラリをロードして、指定された名前の初期化関数を呼び出します。
名前、パスのどちらで指定する場合にも、ライブラリの拡張子(.so, .dylibなど)部分は含めないように指定します。
パスで指定する場合、ディレクトリの区切り文字はどのOS上でも'/'とします。
パスで指定した場合、相対パスのときは、カレントディレクトリに対する相対パスとみなされます。
パスで指定した場合、絶対パスのときは、サーチパスリストは参照されません。
初期化関数名として文字列長が０のアトムを与えれば、初期化関数を呼び出しません。
一度成功すると、同じ名前で何度呼び出しても成功しますが、その場合には何も処理はしません。(パスの部分だけ変えても名前が同じであれば何もしません。)
----------------------------
【述語】
dlib_get_error_str/1

【書式】
dlib_get_error_str(-A)

【引数】
A:エラーの理由を表すアトムがユニファイされる

【説明】
dlib_require/1, dlib_require/2の呼び出しが失敗した時に、エラーの理由を表すアトムを返します。
dlib_require以外の述語の失敗には使用できません。
----------------------------
【述語】
dlib_get_load_map/1

【書式】
dlib_get_load_map(-L)

【引数】
L:現在までにロードされたライブラリの情報リストがユニファイされる

【説明】
現在までにロードされたライブラリの情報リストが返されます。
リストの各要素はアトムで、ライブラリの名前とロードしたライブラリの絶対パスの情報が含まれています。
----------------------------
【述語】
dlib_get_search_path/1

【書式】
dlib_get_search_path(-L)

【引数】
L:現在のサーチパスリストがユニファイされる

【説明】
現在のサーチパスリストが返されます。
リストの各要素はアトムで、dlib_requireでロードするライブラリを探索するサーチパスとなります。
リストの先頭の要素から優先的に探索します。
----------------------------
【述語】
dlib_set_search_path/1

【書式】
dlib_set_search_path(+L)

【引数】
L:現在のサーチパスリストを指定する

【説明】
現在のサーチパスリストを指定したものに変更します。
リストの各要素はアトムで、dlib_requireでロードするライブラリを探索するサーチパスとなります。
リストの先頭の要素から優先的に探索します。
各サーチパスは絶対パスで指定するようにします。
----------------------------
【述語】
dlib_search_path_push/1

【書式】
dlib_search_path_push(+A)

【引数】
A:追加するサーチパスのアトム

【説明】
現在のサーチパスリストの先頭に指定したサーチパスを追加します。
サーチパスリストは、dlib_requireでロードするライブラリを探索するサーチパスとなります。
サーチパスは絶対パスで指定するようにします。
----------------------------
【述語】
dlib_search_path_pop/0

【書式】
dlib_search_path_pop

【引数】
なし

【説明】
現在のサーチパスリストの先頭のサーチパスを除きます。
現在のサーチパスリストが空のときに実行すると失敗します。
サーチパスリストは、dlib_requireでロードするライブラリを探索するサーチパスとなります。
----------------------------
