K-Prolog Compiler Version 6.0 
本節では、オペレーティング・システム(OS)の特定の機能を使うための 組込み述語を解説します。
| system(@Command) |
| Command | コマンド |
| systemv(@Command) |
| Command | コマンド |
| execv(@Command) |
| Command | コマンド |
system/1は、文字列またはアトムCommandで与えるコマンドをOSのコマンドとして実行させます。
どのシェルが使用されるかはOSおよびその設定により違います。
systemv/1は、UNIX系OSの場合に限りOSのシェルを経由せずにコマンドを実行させます。
execv/1は、文字列またはアトムCommandで与えるコマンドに制御を渡し、復帰しません。
エラー
| instantiation_error |
| type_error |
| system |
OSのシェルを呼び出します。
| fork(-Pid) |
| Pid | プロセスID |
Prologの実行環境をforkさせます。。親側のプロセスは、 子プロセスの実行が終了するまで実行を停止して待ちます。Pidは、 子プロセスの場合0と、親プロセスのとき0以外の整数と単一化します。
エラー
| system_error |
| sleep(@Msec) |
| Msec | ミリ秒 |
Msecミリ秒のあいだプロセスの実行を休止させます。 時間の精度は、システムによって異なります。
エラー
| instantiation_error |
| type_error |
| chdir(@Dir) |
| Dir | パス名 |
| cd @Dir |
| Dir | パス名 |
chdir/1は、アトム Dirで指定するディレクトリに作業ディレクトリを変更します。
cd/1は、拡張ファイル名Dirで指定するディレクトリに作業ディレクトリを変更します。
エラー
| instantiation_error |
| type_error |
| time(-Sec,-Min,-Hour,-Mday,-Mon,-Year,-Wday,-Yday,-Isdst) |
| Sec | 秒 |
| Min | 分 |
| Hour | 時 |
| Mday | 日 |
| Mon | 月 |
| Year | 年 |
| Wday | 曜日 |
| Yday | 通年日 |
| Isdst | 季節時間 |
| juliantime(@T,-Sec,-Min,-Hour,-Mday,-Mon,-Year,-Wday,-Yday,-Isdst) |
| T | 時刻 |
| Sec | 秒 |
| Min | 分 |
| Hour | 時 |
| Mday | 日 |
| Mon | 月 |
| Year | 年 |
| Wday | 曜日 |
| Yday | 通年日 |
| Isdst | 季節時間 |
time/9は、現在の時刻と日付を整数値として次のように単一化します。
エラー
| instantiation_error |
| type_error |
| ftime(@File,-Atime,-Mtime,-Ctime) |
| File | ファイル名 |
| Atime | 最終アクセス時刻 |
| Mtime | 最終更新時刻 |
| Ctime | 最終状態変更時刻 |
ファイルFileの最終アクセス時刻、最終更新時刻、最終状態変更時刻を
Atime、Mtime、Stime に単一化します。正しい時刻が取得できるかどうかは
OSによって異なります。
ファイル File が存在する場合は Ret に0が返りますので、
ファイルの存在チェックのために用いる事が出来ます。
エラー
| instantiation_error |
| type_error |
| system_error |
| dir(@Dir,?FileList,?DirList) |
| Dir | パス名 |
| FileList | ファイル名のリスト |
| DirList | ディレクトリのリスト |
ディレクトリ Dir のファイルの名前を、ディレクトリであるものとそれ以外に分けて、 それぞれ DirList と FileList に返します。
エラー
| instantiation_error |
| type_error |
| system_error |
| getenv(@Name,?Value) |
| Name | 環境変数名 |
| Value | 環境変数値 |
Name で指定される環境変数の値を 文字列としてValue に読み取ります。 環境変数が設定されていなければ、 valueを[]と単一化します。
エラー
| instantiation_error |
| type_error |