Yes -- see https://github.com/hraberg/shen.clj/blob/master/shen/src/prolog.shen#L305 https://github.com/hraberg/shen.clj/blob/master/shen/src/pro... Upper case

Yes -- see https://github.com/hraberg/shen.clj/blob/master/shen/src/prolog.shen#L305 https://github.com/hraberg/shen.clj/blob/master/shen/src/pro... Upper case symbols are variables, as in Prolog. The others are literal matches.