| 研究概要 |
本年度は,制約解消系を融合する関数論理型言語のための計算モデルを構築し,このモデルに基づくプログラムシステムの開発を行なった.研究の成果は次の通りである.
1. 計算モデルの構築
制約を扱える関数論理型言語の計算モデルを構築するため,遅延条件付きナローイング計算系(Lazy Conditional Narrowing Calculus,LCNCと略す)を設計した.LCNCは,本研究に先立ち我々が考案した遅延ナローイング計算系(Lazy Narrowing Calculus,LNCと略す)を,条件付きの場合へと拡張したものである.さらに,計算機上での実装を容易にし,実行効率を向上させるため,LCNCに内在する非決定性を除去する改良を加えた.また,高階のプログラムを扱えるようにするための拡張として,作用型遅延ナローイング計算系(Applicative LNC)を新たに提示した.計算モデルとして重要な性質である求解完全性の結果を,各計算系についてそれぞれ得ることができた.
2. プログラムシステムの開発
制約付き関数論理型プログラムシステムの開発を行なった.このシステムは,LCNCの非決定性を排除して得られる計算系LCNCdを計算モデルとし,Mathematica処理系上に実装した.これにより,Mathematicaのもつ記号計算の能力を拡張すると同時に,Mathematicaのもつ数式処理や数値演算の機能をプログラムシステムで利用することが可能になった.
|
