| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Partially Tagged Trees | .... 6 |
| 3 | Partially Specified Term | .... 8 |
| 4 | Equality and Environment | .... 10 |
| 5 | Unification | .... 14 |
| 6 | Program and SLD Derivation | .... 18 |
| 7 | Model | .... 19 |
| 8 | Soundness and Completeness | .... 20 |
| 9 | Extended Definite Clause Grammar | .... 23 |
| 9.1 | Extended Term | .... 23 |
| 9.2 | Extended PTT | .... 24 |
| 9.3 | Extended DCG | .... 24 |
| Acknowledgemants | .... 25 | |
| Reference | .... 25 | |
| End | .... 26 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports