blob: 3eb0c94452af3bd43fa3847b5212358d44552268 (
plain) (
blame)
1
2
3
4
5
6
|
<> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z))
<> (reverse List ?empty ?list) (print List ?list)
<> (print List (?: ?x)) (print List ?x)
<> (print List ()) ()
(reverse List (m (o (d (a (l ()))))) ())
|