Contents of Report

[Data of Report]

Report Number:
TR0028
Date of Registration:
1983.10
English Title:
Incorporating Naive Negation into PROLOG
Japanese Title:
***
English Author:
K.Sakai,T.Miyachi
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tr0028.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Pure Prolog with Negation(PPN).... 3
2.1PPN Syntax.... 3
2.2PPN Consistency.... 4
3Execution of PPN as a Programming Language.... 5
4PPN and Intuitionisitic Logic.... 8
Acknowledgements.... 12
References.... 13
Appendix.... 14
End.... 20

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

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