| 概要 | .... 2 | |
| Abstract | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | Constraint Added Horn Clause(CAHC) | .... 3 |
| 3 | cu-Prolog | .... 4 |
| 4 | A JPSG parser | .... 9 |
| 5 | Final Remarks | .... 11 |
| Acknowledgements | .... 11 | |
| 参考文献 | .... 12 | |
| End | .... 13 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda