Prologの視覚的計算モデル

• Item type: Journal(1)
• 公開日: 1987-04-15
• タイトル: Prologの視覚的計算モデル
• タイトル / 言語: en
• タイトル: Visual Computation Model for Prolog
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 小特集：論理型言語とその処理系
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 日本アイ・ビー・エム（株）東京基礎研究所
• 著者所属: 日本アイ・ビー・エム（株）東京基礎研究所
• 著者所属(英): en
• 著者所属(英): Tokyo Research Laboratory, IBM Japan, Ltd
• 著者所属(英): en
• 著者所属(英): Tokyo Research Laboratory, IBM Japan, Ltd
• 著者名: 森下, 真一; 沼尾, 雅之
• 著者名(英): Shin-Ichi, Morishita; Masayuki, Numao
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Prologの背景には宣言的な解釈と手続き的な解釈がある.宣言的な解釈に基づくPrologのプログラムは 仕様のように読みとれる点で重要だが 大規模なプログラムを宣言的に記述することは難しい.しかも近年のPrologの普及に伴い最近は比較的大規模なプログラムが作られるようになり 実際のプログラミング現場では 複雑なバックトラック カット 副作用等の手続き的側面が プログラムの作成・デバッグ・分析というプログラミングの過程において困難の原因となっている.本研究では これらのPrologの手続き的側面を明確に把握できるように その実行時の動きを視覚的に表現できる計算モデルBPM(Box and Plane Model)を提案する.BPMはゴールに対応する記号ボックスとボックス間の制御の流れを示す矢印によりバックトラックの動きを2次元的に表現する.またボックスにはその内部の実行の動きを表現する平面が対応しており 例えばカットが働いたときの制御の移行およびその有効範囲なども容易に把握できる.また実際にBPMは Prologのプログラミング環境の一つとして開発されたデバッガPROEDIT2においてプログラムの実行を表現するため使われている.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 28, 号 4, p. 359-366, 発行日 1987-04-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764