| Abstract | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | Design Objectives | .... 3 |
| 2.1 | Performance Goal | .... 4 |
| 2.2 | Personal Use | .... 4 |
| 2.3 | Local Area Networ | .... 5 |
| 2.4 | Flexibility | .... 5 |
| 2.5 | Evaluation | .... 5 |
| 2.6 | Specialized Hardware Supports | .... 5 |
| 3 | System Overview | .... 6 |
| 3.1 | Language System | .... 6 |
| 3.2 | Operating System Support | .... 8 |
| 3.3 | System Configuration | .... 8 |
| 4 | Machine Architecture | .... 9 |
| 4.1 | How to Design the Machine Instruction Set | .... 9 |
| 4.2 | Internal Object Forms | .... 10 |
| 4.3 | Execution of PSI Internal Object Forms | .... 15 |
| 4.4 | Address Space | .... 16 |
| 4.5 | Hardware Supports for Fast Unification | .... 19 |
| 4.6 | OS Support | .... 20 |
| 5 | Conclusion | .... 21 |
| Acknowledgement | .... 22 | |
| Reference | .... 22 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports