RosettaCodeData/Task/Search-a-list/ACL2/search-a-list.acl2
2023-07-01 13:44:08 -04:00

7 lines
181 B
Text

(defun index-of-r (e xs i)
(cond ((endp xs) nil)
((equal e (first xs)) i)
(t (index-of-r e (rest xs) (1+ i)))))
(defun index-of (e xs)
(index-of-r e xs 0))