前向き推論による論理プログラミング言語 Monologの一計算方式

• 細井, 健太郎

• 坂元, 紫穂子

• 中村, 克彦

書誌事項

タイトル別名

• computation of Logic Programs Based on Forward Reasonig

抄録

われわれは, 超融合法 (hyper resolution)に基づく前向き推論による論理プログラミングの計算方式の研究を進めてきた. Prologに代表される多くの論理プログラムはSLD融合または後向き計算に基づくゴール駆動型計算モデルを採用しているが, 前向き推論に基づくアプローチは一般的な論理プログラミングとしてはあまり発展していない. しかし, Prologでは, 多くの言語のもつ配列や連想記憶の使用などのデータ構造がないため, 大量のデータの集合の処理を効率よく行ないにくい. また, ゴール駆動型の並列計算モデルは,共通の変数の代入による同期に多く依存しているため論理的な意味を多く失っているなどの問題点がある. われわれは, 前向き推論に基づく論理プログラミング言語Monologと処理システムを作成して, 広範囲の分野への応用をはかっている. 今回は, 効率の高い計算のために, 部分的マッチングの結果を2進探索木に格納する方法について述べる.

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第54回 (ソフトウェア科学・工学), 173-174, 1997-03-12

詳細情報

• CRID: 1050855522104583808
• NII論文ID: 110002890220
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00131165/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles