記号論理演算による層序組み立てのための基本アルゴリズム

論理型言語Prologを用いて

抄録

塩野・弘原海 (1988) に述べられている論理地質学の規則を用い, 層序を組み立てる作業を計算機を用いて処理する方法を述べる.露頭から得られる関係に関するデータを二項関係で表わし, その性質を定義し, 記号論理演算処理の形で処理するアルゴリズムを作成した, そして, 計算機で処理をおこなうために論理型言語Prologを使用してプログラムを作成した.本研究は, 計算機による地質図作成システムの構築という目標において, 層序を推定するための基本的な研究である.