William Byrd逻辑和关系编程,Minikanren(2014)