Contents of Report


[Data of Report]

Report Number:
TR0239
Date of Registration:
1987.03
English Title:
Anadic Tuples in Prolog
Japanese Title:
***
English Author:
K.Mukai
Japanese:
向井 国昭
Name of Organization to which author belongs:
ICOT
PDF:
tr0239.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Partially Tagged Trees.... 6
3Partially Specified Term.... 8
4Equality and Environment.... 10
5Unification.... 14
6Program and SLD Derivation.... 18
7Model.... 19
8Soundness and Completeness.... 20
9Extended Definite Clause Grammar.... 23
9.1Extended Term.... 23
9.2Extended PTT.... 24
9.3Extended DCG.... 24
Acknowledgemants.... 25
Reference.... 25
End.... 26


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

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