lein stuff
logic program macro