Contents of Report

[Data of Report]

Report Number:: TR0007
Date of Registration:: 1983.05
English Title:: ***
Japanese Title:: Prolog への否定的知識の導入とプログラム検証
English Author:: K.Sakai,T.Miyachi
Japanese:: 坂井　公,宮地　泰造
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0007.pdf

[Contents]

	概要	.... 2
1	序論	.... 2
2	Pure Prolog with Ngation(PPN)	.... 3
2.1	PPN の構文	.... 3
2.2	PPN の無矛盾性	.... 5
3	Program の検証	.... 5
3.1	仕様記述の構文	.... 5
3.2	Pure Prolog の場合	.... 6
3.3	PPN の場合	.... 8
4	program 言語としてのPPN の実行	.... 9
5	PPN と直観主義論理	.... 14
	謝辞	.... 18
	参考文献	.... 19

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

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