« Accelerating Non-Numerical Processing by an Extended Vector Processor | メイン | ベクトル計算機のための探索問題の計算法 「並列バックトラック計算法」 »

Vectorization Techniques for Prolog

Kanada, Y., Kojima, K., and Sugaya, M., ACM International Conference on Supercomputing, 539-549, St. Malo, 1988.

[ English page ]
[ 論文 PDF ファイル ]

要旨 (英語のみ): Several techniques for running Prolog programs on pipelined vector processors, such as the Hitachi S-820 or the Cray-2, are developed. This paper presents an automatic program transformation (vectorization) method of Prolog, which enables a type of or-parallel execution of Prolog programs using vector operations. Performance is evaluated on the Hitachi S-810 using the Eight-Queens Problem. Its vector execution speed is 4.5 MLIPS (18 ms). This is eight or nine times faster than scalar execution. This result confirms the effectiveness of vectorization techniques and applicability of vector prodcessors to Prolog execution and symbol processing applications.

研究テーマ紹介: 論理 / 記号 ベクトル処理

キーワード: 論理型言語, プログラミング言語処理系, 記号処理ベクトル化, ベクトル記号処理, 並列記号処理, スーパーコンピューティング, スーパー記号処理, 並列処理, ベクトル処理



1988-08-01 00:00に投稿されたエントリーのページです。


(C) 2008 by Yasusi Kanada
Powered by
Movable Type 3.36