Loading
platform (OSタイプの取得)
形式
platform( $type)
引数
完了時の動作
- 常に次の述語を実行に移ります。バックトラックしません。
バックトラック時の動作
- 常にバックトラックします。前の述語にバックトラックします。
説明
OSタイプを$typeへ返します。'Windows'または'Unix'が返ります。
本述語を結果を指定して使用することによりプラットホーム別に処理を変えることができます。本述語自体はバックトラックしませんが、結果を明示的に指定するとユニフィケーションが行われ値が異なるとバックトラックします。
以下の例を参照のこと。
コード例 (lib/platform.p)
,platform('Windows'),spawnp('cmd', '/C dir').prt;
,platform('Unix'),spawnp('ls').prt;
※WindowsはdirコマンドをUnixではlsコマンドを実行します。
実行例(Windows)
D:\sample\lib>adp platform.p
2011/04/28 20:34 <DIR> .
2011/04/28 20:34 <DIR> ..
・
・
中略
・
2 個のディレクトリ 486,467,096,576 バイトの空き領域
0
Powered by ADP.