| 1 | はじめに | .... 2 |
| 2 | 論理型プログラミング言語 | .... 2 |
| 3 | 論理型並列プログラミング言語 | .... 7 |
| 4 | シンタックス | .... 8 |
| 5 | 基本計算メカニズム--リゾリューション-- | .... 9 |
| 6 | 計算モデル | .... 11 |
| 7 | Concurrent Prologによるプログラミング | .... 13 |
| 8 | 他の言語との比較 | .... 20 |
| 9 | おわりに | .... 21 |
| 参考文献 | .... 23 | |
| End | .... 29 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda