Prologへの分類階層の導入による拘束充足問題の生成検査解法の高速化 : 集合項による多重継承の取り扱い
スポンサーリンク
概要
- 論文の詳細を見る
Smalltalk-8Oのクラス階層のような継承階層を導入したProlog言語が提案されている(LOGIN,PAL,Taxlog,EPOS他)。こうした言語では、生成検査(generate-and-test)戦略に基づく一部のプログラムを効率良く実行することができる。本論文では、単一継承に限れば、その継承階層構造を項構造に写像することで通常のProlog処理系のまま (ある程度)そうした手法を利用できることを示し、さらに多重継承を(不完全ながら)扱うために集合項の導入を提案する。ここで導入する集合項は、集合自体というよりもその集合を値域とする変数を意味するので、多重継承を扱うためばかりではなくforward checkingにも利用できる。
- 一般社団法人情報処理学会の論文
- 1989-03-15
著者
関連論文
- LZH法における並列データ圧縮技法
- 契約と適合化 : エージェント・モデルに基づくワークフロー管理とコンポーネント結合
- 共生・寄生エージェント・モデルにおける「契約」 : ワークフロー管理への適用
- ソフトウェアコンポーネントのための結合性と分解性 : 共生・寄生モデルエージェントモデルに基づくコンポーネント
- 共生・寄生エージェントモデル(S/PAM)に基づくロボットプログラミング(ソフトウェアモデリング及び一般)
- 共生・寄生モデルエージェントモデル(S/PAM)に基づく可変&移動型ソフトウェアコンポーネント
- 共生・寄生モデルに基づくソフトウエア・エージェントによる情報バリアフリー支援の一構想
- D-13-1 移動エージェントのためのコード移送のモデル化
- 共生・寄生エージェント・モデルのワークフロー管理への応用
- 共生・寄生モデルに基づく進化的移動エージェント言語
- Rubyによる複数資源要約システムの実現
- Rubyによる複数資源要約システムの実現
- 契約と適合化 : エージェント・モデルに基づくワークフロー管理とコンポーネント結合
- ソフトウェアコンポーネントのための結合性と分解性 : 共生・寄生モデルエージェントモデルに基づくコンポーネント
- ネットワークエージェント技術を用いた業務指向分散システム管理の構想 : 機能依存関係グラフからの故障診断と復旧の迅速化に向けて(ディジタルエンタープライズシステム(2))(ディジタルエンタープライズ,及び一般)
- モバイルエージエントのためのデータフロー解析とその応用
- 構造エディタ (エディタ)
- 大特集「ソフトウェア製品生産管理」の編集にあたって
- ソフトウェアの解析と評価ツール(ソフトウェアツール 2 : 製造・評価・保守)
- 小特集「ソフトウェアツール 2 : 製造・評価・保守」の編集にあたって
- 小特集「ソフトウェアツール 1 : 段計・記述」 の編集にあたって
- Go toなしプログラムのデータ・フロー解析
- コンパイラ作成用の構造的プログラミング言語 : SIMPL-T
- インタラクティブPL/Iシステムの設計と作成
- 教育用プログラミング・システム
- 会話型FORTRAN : KEIOシステム
- カナ文字FORTRAN
- 疎な要求駆動型データフロー解析
- 別名情報に基づくレジスタ促進
- May別名除去
- 別名情報による段階的詳細化に基づいた等価式発見
- 依存グラフを用いたコード移動妨害領域の効果的な除去法
- 拡張値グラフを用いた部分無効コード除去法
- 効率的な完全冗長除去
- 拡張値グラフを用いた部分無効コード除去法
- 拡張値グラフに基づく効果的な部分冗長除去法
- 拡張値グラフに基づくコード最適化 : 定数畳込みと強さの軽減
- 部分的無効コードの効率的除去法
- φ-関数移動による効率的な部分的冗長計算除去
- データフローグラフに基づく部分的冗長計算除去の拡張
- ソース言語レベルにおける属性文法の最適化
- H-014 後続要素の予測を利用する系列予測モデル(H分野:生体情報科学)
- 談話構造に基づく語彙選択を行うXMLデータベースからのテキスト生成
- 天気予報を対象としたXML-DBからの動的な文章作成 (2002年情報学シンポジウム 講演論文集--情報社会のセマンティクスXMLとSemantic Web,電子政府への展望,ロボットとの共生) -- (セッション2:XML)
- tf/idf重み付けに基づく動的文書生成
- 階層型ネットワークに基づく動的な意味表現からの日本語文の生成
- 5N-5 情報の濃度に基づく参照表現の生成
- 意味焦点駆動文生成
- 意味焦点駆動文生成
- ソフトウェア工学研究会の歩みを振り返って
- アダプティブな実行時コード最適化
- 範疇文法における格選択制限の一手法
- 日本語文における名詞並列の構造解析
- 分散環塊のための並行オブジェクト指向言語処理系の実行時環境
- 実行時コード最適化の自動化
- データ並列言語における通信と計算のオーバーラップの効果
- データ再利用による分散メモリ上のデータ転送最適化手法
- 高階関数に基づく範疇文法系の日本語への適用 : 表層と深層の語彙主導的な対応づけ
- 範疇単一化文法を日本語ヘ適用する際の付加的な規則について
- 範疇単一化文法に規則を併用した日本語の構文解析
- 英文テキストからの索引自動生成に関する研究
- 並行オブジェクト指向言語yの実行時環境
- 属性文法における属性の並列評価法に関する研究
- 範疇単一化文法の日本語への適用
- 日本語対話文における省略語の補完
- 範疇文法のための関数的な計算機構
- 範疇文法へ単一化文法形式を導入する新たな試み
- 分散メモリにおけるHPF配列要素の有効性解析
- プログラム解析による宣言的仕様の生成と読解支援への応用
- 並行オブジェクト指向言語yにおけるクラス階層の定義と継承
- 並行オブジェクト指向言語yの通信機能
- 長方形メッシュによるデータ分割のアプローチと評価
- 属性文法による楽譜の定式化と自動認識に関する研究
- 階層構造をもつマルチプロセッサにおける階層データ分割分析法
- アクセス パターンを考慮した分散共有メモリ上のデータマッピング手法
- 多重ループに対するプロセッサ割当てアルゴリズムOPTALの高速化
- 多重ループに対するプロセッサ割当てアルゴリズムOPTALの高速化
- 副作用を持つPrologプログラムに対するデバッガの設計と実現
- Prologへの分類階層の導入による拘束充足問題の生成検査解法の高速化 : 集合項による多重継承の取り扱い
- 存在型と部分型をもつオブジェクト計算モデル
- ソフトウェアアーキテクチャ記述言語変換系の設計と実装
- 高階言語におけるフロー解析手法
- C++言語への並行性の導入
- VHDL記述からSFL記述への変換による論理合成プログラムの設計と試作
- 並行プログラムの挙動に対する静的解析
- オブジェクト指向アプローチに基づくハードウェアシミュレータの構築
- パネル討論会 : 構造的プログラミング : 昭和50年度第16回大会報告
- 7207 LISP による算術式のコンバイル
- 問題指向アーキテクチャにおける知識の蓄積 : エンドユーザコンピユーティングと発展可能なアーキテクチャに向けて
- 分散コンポーネントのためのアーキテクチャパターン
- 制約文法によるプランニングの取り扱い
- 制約文法によるプランニングの取り扱い
- T式による関数型プログラム開発
- クラス階層を導入した論理プログラムミング言語のための否定
- 寄生・共生モデルに基づくエージェント協調メカニズムとXMLを用いたエージェント通信言語
- オブジェクト指向論理ペトリネットによるシミュレーションのためのエージェントモデリング : 集団的振る舞い,個体行動,意思決定過程の統一的記述に向けて
- ビジネスプロセスのための時間制約表現