Does anyone know of extensions to core.logic for working with dates, so one could do something like: (run 1 [q] (day-after q (date-time 1986 10 14))) =>(#<DateTime 1986-10-15T00:00:00.000Z>)