Contents of Report


[Data of Report]

Report Number:
TR0256
Date of Registration:
1987.05
English Title:
Horn Clause Transformation;An Applicationof Partial Evaluation to Deducative Database
Japanese Title:
ホーン節変換;演繹データベースにおける部分評価の応用
English Author:
N.Miyazaki,H.Haniuda,H.Itoh
Japanese:
宮崎 収兄,羽生田 博美,伊藤 英則
Name of Organization to which author belongs:
Oki,Oki,ICOT
PDF:
tr0256.pdf

[Contents]

Abstract.... 2
梗概.... 3
1まえがき.... 4
2基本概念.... 4
3部分評価と基本ホーン節変換.... 7
4ホーン節変換.... 11
5否定の扱い.... 14
6むすび.... 15
謝辞.... 16
参考文献.... 16
End.... 18


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

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