OR 並列実行のための論理型言語プログラムのベクトル化法
金田 泰, 菅谷 正弘, 情報処理学会論文誌, Vol. 30, No. 4, pp. 495-506, 1989.
[ English page ]
[ PDF 版論文へのいりぐち (IPSJ) ]
[ この論文の内容は博士論文にふくまれています．]
要旨: ベクトル計算機 (スーパ・コンピュータ) を使用して 論理型言語プログラムを並行処理するための一種の プログラム変換法 (ベクトル化法) を開発した． このベクトル化法は，OR 並列性があり，引数の入出力モードが 確定しているプログラムを対象とする． この方法では， 原始プログラムの論理変数ごとに，それが探索木上の ことなる位置でとる複数の値を各要素とするベクトルを つくり，それをベクトル処理するプログラムを生成する． この方法を N クウィーン問題のプログラムに適用して自動変換し， 生成されたプログラムがただしく動作することを確認すると ともに，ベクトル計算機 S-810 において 2.6 MLIPS という高い実行速度をえた．
研究テーマ紹介: 論理 / 記号 ベクトル処理