LiLFeS: Examples

my_list <- [bot].

e_list <- [my_list].

ne_list <- [my_list]

+ [FIRST\bot, REST\my_list].

append(e_list,$X,$X).

append((FIRST\$A & REST\$X),

Y,

(FIRST\$A & REST\$Z) ):-

append($X,$Y,$Z).

Type Declaration

Definite Clauses

• Source Code

Description of a typed feature structure

Previous slide

Next slide

Back to first slide

View graphic version