2008 Fiscal Year Annual Research Report
Prolog処理系を用いた複数SATソルバ並列実行システム
| Project/Area Number |
19700025
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
番原 睦則 Kobe University, 学術情報基盤センター, 准教授 (80290774)
|
|---|
| Keywords | 論理プログラミング / SAT / 並列計算 / Prolog |
|---|
| Research Abstract |
本年度は, 交付申請書に記載した研究項目(1a) (1b) (1c) (3)について, 以下の研究成果を得た.
(1a) PrologからJavaへの新しいトランスレート方法の設計・実装について, ラッパーオブジェクトを導入した新しいトランスレート方法を考案し, Prolog Cafe2の実装を行ったに古典的なPrologベンチマークを使って性能評価を行った結果, Prolog Cafe2はJavaに基づくProlog処理系で現在最速であるMinervaと比較して, ほぼ同等の性能であった. この成果については, 第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)で発表を行った.
(1b) Prolog Cafeのデバッガの設計・実装, (1c) Eclipseプラグインにの設計・実装ついては, プロトタイプの実装にとどまった.
(3) SAT変換に基づく制約ソルバーSugarへの応用については, MAX-CSP/COPソルバーであるSugar++を開発し, 第3回国際CSPソルバー競技会に参加した.
また, 並列ソルバーの適用が期待される応用問題である, ソフトウェア検証およびcovering arraysに関する研究を進めた.
|
Research Products
(7 results)
