RosettaCodeData/Task/Singly-linked-list-Element-insertion/ACL2/singly-linked-list-element-insertion.acl2
2023-07-01 13:44:08 -04:00

8 lines
239 B
Text

(defun insert-after (x e xs)
(cond ((endp xs)
nil)
((equal x (first xs))
(cons (first xs)
(cons e (rest xs))))
(t (cons (first xs)
(insert-after x e (rest xs))))))