Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009) (via veqq) — discussion

#logiclangs #pdf