Implemented the DFA that accepts multiples of 3 using core.logic (logical approach