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

書誌事項

タイトル別名
  • Processing an FGHC Program of a Logic Programming Language-Oriented Parallel Machine : KPR
公開日
1990-03-14
資源種別
conference paper
公開者
情報処理学会

この論文をさがす

説明

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

収録刊行物

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

問題の指摘

ページトップへ