Given segment -match, it is easy to define the function to match one-or-more elements and the function to match zero-or-one element:

(defun segment-match+ (pattern input bindings)

"Match one or more elements of input."

(segment-match pattern input bindings 1))

(defun segment-match? (pattern input bindings)