Integrate with Logician for kicks

[pwightman]

https://github.com/mdiep/Logician

This seems awfully close to what I'm already trying to do. Not sure what benefits integrating it might bring, but could be interesting.