4.4.3. Is Logic Programming Mathematical Logic?
Exercise 4.68

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


Nobody's finished this exercise yet. You'll be the first!


There are no comments yet.

Authentication required

You must log in to post a comment.

Login