"Succeed if any one of the patterns match the input."

(if (null patterns)

fai 1

(let ((new-bindings (pat-match (first patterns)

input bindings)))

(if (eq new-bindings fail)

(match-or (rest patterns) input bindings)

new-bindings))))

(defun match-not (patterns input bindings)