Contents of Report


[Data of Report]

Report Number:
TR0050
Date of Registration:
1984.03
English Title:
***
Japanese Title:
データフロー方式並列推論マシンのアーキテクチャ
English Author:
T.Itoh,K.Masuda,H.Shimizu,Kishi,E.Kuno
Japanese:
伊藤 徳義,益田 嘉直,清水 肇,来住 晶介,久野 英治
Name of Organization to which author belongs:
ICOT,ICOT,ICOT,Oki,Oki
PDF:
tr0050.pdf

[Contents]

1はじめに.... 2
2純PrologとConccurent Prolog.... 2
3変数の属性.... 3
4統一化処理.... 4
4.1純Prolog のための基本プリミティブ.... 4
4.2Concurrent Prolog における統一処理化.... 9
5マシンアーキテクチャ.... 11
6おわりに.... 11
参考文献.... 13


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports