RosettaCodeData/Task/Loop-over-multiple-arrays-simultaneously/ACL2/loop-over-multiple-arrays-simultaneously.acl2

(defun print-lists (xs ys zs)
   (if (or (endp xs) (endp ys) (endp zs))
       nil
       (progn$ (cw (first xs))
               (cw "~x0~x1~%"
                   (first ys)
                   (first zs))
               (print-lists (rest xs)
                            (rest ys)
                            (rest zs)))))

(print-lists '("a" "b" "c") '(A B C) '(1 2 3))