2026-03-17T10:02:30Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00024788 2025-01-22T19:46:05Z 1164:1579:1726:1731

セルラシステムによるPrologの実現について PROLOG IMPLEMENTED BY CELLULAR SYSTEM 山川, 直己 吉岡, 良雄 Yamakawa, Naomi Yoshioka, Yoshio PrologはLispと同程度のリスト処理能力を持ち、推論機能が内蔵された言語である。セルラシステムの持つ構造に由来する並列性を利用して、このPrologの持つ並列性を引き出し、高速実行可能なシステムを提案する。本システムは、同一化を行うセルラシステムと、動的なプログラムのマッピングを受け持つセルラシステム、この二つのシステム間のデータの授受を行うユニットからなっている。これらの論理的な構成について述べ、静的な性能評価を行う。 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. 情報処理学会 1988-07-07 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/24788 AN10096105 情報処理学会研究報告計算機アーキテクチャ（ARC） 1988 45(1988-ARC-071) 109 115 https://ipsj.ixsq.nii.ac.jp/record/24788/files/IPSJ-ARC88071015.pdf application/pdf 708.9 kB 1990-07-07