| Abstract | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | The Multi-PE model | .... 4 |
| 3 | Underlying language | .... 7 |
| 4 | Multi-PE Simulator | .... 10 |
| 5 | Execuing FGHC code | .... 15 |
| 6 | Inter-PE communication | .... 17 |
| 7 | Sending/Receiving goals | .... 18 |
| 8 | Distributed unification | .... 19 |
| 9 | Coding and implementation details | .... 22 |
| 10 | Conculding remarks | .... 22 |
| 11 | Acknowledgements | .... 23 |
| References | .... 24 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports