Rules for reverse operation
Define rules to implement the
reverse
operation of exercise
2.18
, which returns a list containing the same elements as a given list in reverse order. (Hint: Use
append-to-form
.) Can your rules answer both
(reverse (1 2 3) ?x)
and
(reverse ?x (1 2 3))
?