PROLOG述語(呼び出し)の決定性
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,Prolog述語(呼び出し)の決定性がプログラムの最適化変換や信頼性の高いプログラム作成に重要な役割を果たすことを論じる.次いで,これらの目的に適した決定性の概念,およびa-決定性とr-決定性と呼ばれる二つの決定可能な述語呼び出しの部分クラスを導入し,それらの性質を調べる.さらに,同値であるがそれらとは異なった定義法,拡張法等についても述べる.これらの概念はPrologのプログラマが,述語(呼び出し)の決定性に関して日常無意識に用いている直観を自然に,そして統語論的に定義したものであり,かなり多くの述語(呼び出し)がこれらによって決定的と判定される.
- 一般社団法人日本ソフトウェア科学会の論文
- 1987-10-15
著者
関連論文
- 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
- 適切さの論理 (<特集>非標準論理とその応用)
- PROLOG述語(呼び出し)の決定性
- Prologソースレベル・オプティマイザの試作とその性能評価
- R,Turner 著, "Logics for Artificial Intelligence", (人工知能のための論理学), Ellis Horwood Limited, B5判, 121p., 1984
- 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
- 論証支援のための証明コンストラクタ