PPT Slide

LISTS & TREES

Lists are the same concept as in Lisp.

The syntax is different in this Prolog.

[ ] is the empty list.

[ a , b , c , d ] corresponds to the Lisp list ( a b c d ) .

Dotted pairs (trees) are also equivalent to those in Lisp.

. ( a , [ ] ) is the Lisp ( a • NIL ) or ( a ) .

. ( a , . ( b , . ( c , [ ] ) ) ) is the Lisp list ( a b c ) or Prolog list [ a , b , c , ]

. ( . ( a , b ) , . ( c , d ) ) is the Lisp ( ( a • b ) • ( c • d ) )

( cons ( cons a b ) ( cons c d ) )