If you haven't watched this talk by Matt Might on Precision Medicine with MiniKanren, you will surely find it inspiring https://www.youtube.com/watch?v=Rt3XyeFHvt4