GHCによる時制論理の証明系の作成
スポンサーリンク
概要
- 論文の詳細を見る
Guarded Horn Clauses(GHC)は第5世代プロジェクトの核言語として開発された並列論理型言語である。GHCのプログラムは以下の形をした'|'(ガード)を持つHorn節の集合である。H:-G1,...,Gn | B1,...,Bm.我々は命題時制論理の証明系をGHCで作成した。本稿では、並列プログラミングの考え方を中心にその結果を報告する。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 鉄道信号システムの連動論理検証
- 一般化したunfold/fold技法を用いた論理プログラムの変換合成 (プログラム合成/変換)
- カウンタを用いたunfold/fold技法によるPrologプログラムの変換
- 一般化したUnfold/Fold技法を用いたPrologプログラムの変換合成
- GHCによる時制論理の証明系の作成