Contents of Report

[Data of Report]

Report Number:
TM0828
Date of Registration:
1989.12
English Title:
A Formalization of Reflection in Logic Programming
Japanese Title:
***
English Author:
H.Sugano
Japanese:
***
Name of Organization to which author belongs:
FUJITSU
PDF:
tm0828.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Reflective logic Language R-Prolog.... 3
3Declarative Semantics of R-Prolog.... 12
4Discussion and Concluding Remarks.... 19
Acknowledgements.... 21
References.... 21

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda