| Comtents | .... 3 | |
| 1 | Introduction | .... 5 |
| 2 | The KL1 Language | .... 6 |
| 3 | Unification and Synchronization | .... 9 |
| 4 | Operations on Built-in Data Types | .... 13 |
| 5 | Process Oriented Programming | .... 18 |
| 6 | Execution Control | .... 19 |
| 7 | Shoen | .... 24 |
| 8 | MRB Scheme | .... 27 |
| 9 | Macro | .... 29 |
| 10 | Puzzles | .... 31 |
| 11 | A Sample Programs | .... 34 |
| End | .... 37 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda