Contents of Report


[Data of Report]

Report Number:
TM0801
Date of Registration:
***
English Title:
Cu-prolog
Japanese Title:
制約論理型プログラミング言語cu-prolog
English Author:
H.Tsuda
Japanese:
津田 宏
Name of Organization to which author belongs:
ICOT
PDF:
tm0801.pdf

[Contents]

cu-prologユーザーズマニュアル.... 2
1cu-prologソースファイル概要.... 13
2include.hドキュメンテーション.... 17
3varset.h、globalv.hドキュメンテーション.... 25
4main.cドキュメンテーション.... 27
5mainsub.cドキュメンテーション.... 29
6new.cドキュメンテーション.... 32
7read.cドキュメンテーション.... 35
8print.cドキュメンテーション.... 37
9refute.cドキュメンテーション.... 39
10syspred.cドキュメンテーション.... 42
11unify.cドキュメンテーション.... 45
12cunify.cドキュメンテーション.... 46
13genfunc.cドキュメンテーション.... 49
14modular.cドキュメンテーション.... 50
15split.cドキュメンテーション.... 53
16reduce.cドキュメンテーション.... 56
17integ.cドキュメンテーション.... 58
End.... 59


目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda