Module display

Builtin predicates for displaying features structures etc.

Predicate

print/1: Display feature structure or predicate $X in the form that can read LiLFeS.Predicates and lists is also showed as feature structure.
printtostr/2: Display feature structure or predicate into string.
printAVM/1: Display feature structure $S as AVM-tree form.
printAVMtostr/2: Return feature structure to string by LiLFeS program.

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

Predicate

print/1

Format print(+$X)

Arguments

+$X bot predicate or feature structure etc..

Display feature structure or predicate $X in the form that can read LiLFeS.Predicates and lists is also showed as feature structure.

> :- 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/2

Format printtostr(+$X, -$Y)

Arguments

`+$X`	bot	predicate or feature structure etc.
`-$Y`	string	resulting string

printAVM/1

Format printAVM(+$S)

Arguments

+$S bot Feature structure

Display feature structure $S as AVM-tree form.

> :- 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/2

Format printAVMtostr(+FS,-STR)

Arguments

`+FS`	bot	Feature Structure
`-STR`	string	string