RosettaCodeData/Task/Dot-product/ACL2/dot-product.acl2
Ingy döt Net 764da6cbbb CDE
2013-04-10 16:57:12 -07: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)))))