Specific plug for Will Byrd's mediKanren and Matt Might's group in general they are the real deal. (source: I have worked for other deals).

For more just start learning the tools... I have not checked in on them for years now but "BioStars Handbook" was up & coming

[] https://github.com/webyrd/mediKanren [] https://biostar.myshopify.com/