Ask for yourself; I'm keeping my sanity back with stuff from https://t3x.org and the like. Scheme with logic/DIscrete Math, the MInikanren and the Mini Prolog it's incredibily powerful.