| 書式 | print(+$X) | |||
|---|---|---|---|---|
| 引数 |
| |||
| 素性構造や述語$Xを、LiLFeSに読み込める形で表示します．述語やリストも素性構造として表されます． | ||||
> :- print(append([A|X], Y, [A|Z]) :- append(X,Y,Z)). (:-/2 ,chead:(append/3 ,arg1:[ $1 | $2, 'list'] ,arg2:$3 ,arg3:[ $1 | $4, 'list']) ,cbody:[ (append/3 ,arg1:$2 ,arg2:$3 ,arg3:$4)] ) | ||||
| 書式 | printtostr(+$X, -$Y) | ||||||
|---|---|---|---|---|---|---|---|
| 引数 |
| ||||||
| 関連項目 | print/1 | ||||||
| 素性構造や述語を、string 形式に表示します． | |||||||
| 書式 | printAVM(+$S) | |||
|---|---|---|---|---|
| 引数 |
| |||
| 素性構造$SをＡＶＭ木で表示します． | ||||
> :- printAVM(person & NAME\"John" & AGE\10 & FATHER\(NAME\"Tom" & AGE\40 & FATHER\(NAME\"Bob" & AGE\70))). |~person ~| | NAME:"John" | | AGE:10 | | |~person ~| | | | NAME:"Tom" | | | | AGE:40 | | | FATHER:| |~person ~| | | | | FATHER:| NAME:"Bob" | | | | | | AGE:70 | | | |_ |_ |_FATHER:person_|_|_| | ||||
| 書式 | printAVMtostr(+FS,-STR) | ||||||
|---|---|---|---|---|---|---|---|
| 引数 |
| ||||||
| 関連項目 | printAVM/1 | ||||||
| 素性構造$SをＡＶＭ木で文字列にします． | |||||||