Six Ways to Implement Divisibility by Three in miniKanren. - Brett Schreiber; Brysen Pfingsten; Jason Hemann (CoRR, 2024)