RosettaCodeData/Task/Dot-product/ACL2/dot-product.acl2
2023-07-01 13:44:08 -04:00

5 lines
129 B
Text

(defun dotp (v u)
(if (or (endp v) (endp u))
0
(+ (* (first v) (first u))
(dotp (rest v) (rest u)))))