We're not quite there yet with predicate dispatch. However if the pattern matching benchmarks are any indicator, it will be plenty efficient. Definitely excited about it, but it might be some time since it will require some well considered synergy between core.logic and core.match.