| cu-prologユーザーズマニュアル | .... 2 | |
| 1 | cu-prologソースファイル概要 | .... 13 |
| 2 | include.hドキュメンテーション | .... 17 |
| 3 | varset.h、globalv.hドキュメンテーション | .... 25 |
| 4 | main.cドキュメンテーション | .... 27 |
| 5 | mainsub.cドキュメンテーション | .... 29 |
| 6 | new.cドキュメンテーション | .... 32 |
| 7 | read.cドキュメンテーション | .... 35 |
| 8 | print.cドキュメンテーション | .... 37 |
| 9 | refute.cドキュメンテーション | .... 39 |
| 10 | syspred.cドキュメンテーション | .... 42 |
| 11 | unify.cドキュメンテーション | .... 45 |
| 12 | cunify.cドキュメンテーション | .... 46 |
| 13 | genfunc.cドキュメンテーション | .... 49 |
| 14 | modular.cドキュメンテーション | .... 50 |
| 15 | split.cドキュメンテーション | .... 53 |
| 16 | reduce.cドキュメンテーション | .... 56 |
| 17 | integ.cドキュメンテーション | .... 58 |
| End | .... 59 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda