[Show Chn] Show CHN: miniKanren in 1-Bit — Logic Programming Meets Hardware via Sparse Boolean Tensors (github.com)
miniKanren relational logic programming implemented as 1-bit sparse Boolean tensor operations in Verilog. Bridges logic programming and hardware design for FPGAs.