@wizzwizz4 I'm looking into miniKanren: Is it basically an embedded (in Lisp or another language) version of Prolog?http://minikanren.org/