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]

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