An extensible, lightweight relational/logic programming DSL written in p...
Statically typed embedding of miniKanren relational programming language...
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFl...