トレースと設計戦略を用いたPrologプログラムのトップダウンな合成方法

スポンサーリンク

概要

論文の詳細を見る
プログラム合成の方法として、例題提示仕様によるものがある。入出力例題だけを与えれば仕様を記述することに注意を払わなくてもよい反面、現実的には小さなプログラムしか合成できないという問題点がある。これは、トップレベルの入出力仕様だけからでは、「いつ補助的述語か必要か」といった情報が抽出できないためてある。本稿では、半順序の入出力仕様を、再帰スキーマを用いて記号実行することにより、全順序の入出力仕様を作り、プログラムを合成する方法を提案する。また、この方法を拡張することにより、過去の知識を積極的に利用した効率的な「プログラム合成/再利用の設計戦略」を考える。対象とするクラスは、リスト処理を行うPrologの再帰プログラムとする。
一般社団法人情報処理学会の論文
1989-10-16

著者

関連論文

もっと見る

スポンサーリンク