並列論理型パラダイムによる一貫した技術体系

並列記号処理技術のすべての階層の共通基盤として並列論理型パラダイムを設 定し、並列処理を前提とした一貫した技術体系を構築した。