@techreport{oai:ipsj.ixsq.nii.ac.jp:00024788, author = {山川, 直己 and 吉岡, 良雄 and Yamakawa, Naomi and Yoshioka, Yoshio}, issue = {45(1988-ARC-071)}, month = {Jul}, note = {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.}, title = {セルラシステムによるPrologの実現について}, year = {1988} }