Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation Use of Logical Programming Language “Prolog”

Masanori SAKAMOTO; Kiyoji SHIONO

doi:10.6010/geoinformatics1990.1.2_211

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

論理型言語Prologを用いて

坂本正徳, 塩野清治

著者情報

キーワード: 層序, 論理地質学, 二項関係, アルゴリズム, Prolog

ジャーナルフリー

1990 年 1 巻 2 号 p. 211-217

DOI https://doi.org/10.6010/geoinformatics1990.1.2_211

詳細

抄録

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

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）