Invertible List Manipulation (Cont.)

(QUERY

'((APPEND

L

(CONS Z (CONS W NILL))

(CONS X (CONS Y (CONS Z (CONS W NILL)))))) )

SOLUTION: L=(CONS X (CONS Y NILL))

Functional programming: evaluation is one-way.

Logic programming: evaluation can be two-way.

Previous slide

Back to first slide

View graphic version