Yes -- see https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...

Upper case symbols are variables, as in Prolog. The others are literal matches.