Is there an up-to-date source on core.logic's pattern matching syntax? Best I could find is https://github.com/frenchy64/Logic-Starter/wiki#matche but it still says to prefix implicit variables with ? (which I believe is no longer needed)?