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)) ?


There are no comments yet.

Authentication required

You must log in to post a comment.

Login