研究者総覧
論文
- タイトル
- Concurrent Prologにおけるイーガー／レイジー評価について
- タイトル（英）
- Eager and Lazy Enumeration in Concurrent Prolog
- 参照URL
- https://researchmap.jp/hideki_hirakawa/published_papers/32300485
- 著者
- 平川秀樹,古川康一
- 著者（英）
- Hideki Hirakawa,Koichi Furukawa
- 担当区分
- 筆頭著者
- 概要
- 第五世代のコンピュータプロジェクトにおいて研究開発が進んだ論理型言語のConcurrent Prologは限定節の項のAND結合の実行を並列に行うが、この処理系を使って限定節のOR結合部分を並列に実行する解の探索手法を示し、 その並列実行を行う際の制御方式として解の列挙を早期に実施するEager Enumerationとできる限り遅延するLazy Enumerationの両者を行う２つの制御方法を提案している。
- 概要（英）
- 出版者・発行元
- 出版者・発行元（英）
- 誌名
- 2nd International Logic Programming Conference
- 誌名（英）
- 2nd International Logic Programming Conference
- 巻
- 号
- 開始ページ
- 89
- 終了ページ
- 100
- 出版年月
- 1984年6月
- 査読の有無
- 査読有り
- 招待の有無
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- ISSN
- DOI URL
- 共同研究・競争的資金等の研究課題
研究者
平川 秀樹
(ヒラカワ ヒデキ)