セルラシステムによるPrologの実現について

• Item type: SIG Technical Reports(1)
• 公開日: 1988-07-07
• タイトル: セルラシステムによるPrologの実現について
• タイトル / 言語: en
• タイトル: PROLOG IMPLEMENTED BY CELLULAR SYSTEM
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 岩手大学・工学部・情報工学科
• 著者所属: 岩手大学・工学部・情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Faculty of Enginerring, Iwate University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Faculty of Enginerring, Iwate University
• 著者名: 山川, 直己; 吉岡, 良雄
• 著者名(英): Yamakawa, Naomi; Yoshioka, Yoshio
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: PrologはLispと同程度のリスト処理能力を持ち、推論機能が内蔵された言語である。セルラシステムの持つ構造に由来する並列性を利用して、このPrologの持つ並列性を引き出し、高速実行可能なシステムを提案する。本システムは、同一化を行うセルラシステムと、動的なプログラムのマッピングを受け持つセルラシステム、この二つのシステム間のデータの授受を行うユニットからなっている。これらの論理的な構成について述べ、静的な性能評価を行う。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Prolog is as capable of processing lists as Lisp and a language with inference engine. In order to obtain the advantage of concurrence that results from cellular system structure, we propose a high-speed Prolog system with concurrence. This system is consisted of three blocks, one is unification system and the second is a mapping system of dinamic programs and the last is a communication unit between two cellular systems. This paper presents the system topologies and the static performance estimate.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 1988, 号 45(1988-ARC-071), p. 109-115, 発行日 1988-07-07
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会