Contents of Report
[Data of Report]
Report Number:
TR0022
Date of Registration:
1983.08
English Title:
Modularization and Abstraction in Logic Programming
Japanese Title:
***
English Author:
K.Furukawa,R.Nakajima,A.Yonezawa
Japanese:
***
Name of Organization to which author belongs:
ICOT,Kyoto Univ.,Tokyo Institute of Technology
PDF:
tr0022.pdf
[Contents]
1
Introduction
.... 2
2
Data Types and Modules
.... 3
3
Abstraction
.... 4
4
Logical Viewing of Terms
.... 7
5
Optimization
.... 8
Reference
.... 9
Figures
.... 10
End
.... 16
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports