Datalog-Based Binary Equivalence