Elsewhere in the file he matches on things like "rename the variables": https://github.com/hraberg/shen.clj/blob/master/shen/src/prolog.shen#L305-L327 https://g

Elsewhere in the file he matches on things like "rename the variables": https://github.com/hraberg/shen.clj/blob/master/shen/src/prolog.shen#L305-L327 https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...