マ シ ン:PSI-II 環 境:SIMPOS 言 語:ESP ソース量:2.5 MB 文 書:操作説明書、インストール・ノート (日本語)
・コーディネータ: 下記の各種ツールを管理する ・インストーラ: システムをインストールする ・ワークスペース: プログラムを実行する ・トレーサ: デバッグのためプログラムの実行過程を追跡する ・インスペクタ: データ構造を解析しメニュー形式で表示する ・グラフィック・インスペクタ: データ構造を解析し図示する ・エディタ: プログラムの編集、コンパイルを行う ・ブラウザ: プログラムの情報を表示する
Prologをベースに、部分項、遅延実行制御の二つの機能を追加した。部分項に より知識意味記述が、遅延実行処理により制約記述が可能となった。
さらにプログラミングの支援環境としてツール群が提供される。各ツールは必 要に応じていくつでも起動でき、また独立して動作するので使い易い物となっ ている。
X = {name/taro,age/A}, print(A?), ..... X = {age/25,weight/80}.