論理型言語向き並列計算機KPRにおけるFGHCの処理方式について

情報処理学会

書誌事項

タイトル別名
  • Processing an FGHC Program of a Logic Programming Language-Oriented Parallel Machine : KPR

この論文をさがす

抄録

KPRは、論理型言語プログラム(論理プログラム)の実行モデルとして我々が提案した「並列リダクション・モデル」に基づいて設計されたマルチプロセッサ・システムである。本稿では、AND並列論理型言語FGHCのプログラムのKPRにおける処理方式について示し、その処理過程について述べる。

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ