Full threaddshacker·How is this different from miniKanren? Isn't this logical programming? Or is it more of a simplex NSAT solver?View on HN