@mcc
Oh gotcha, yeah theres a history of people doing the logic stuff embedded into other languages. What made me think of it was actually I was thinking about #guix configs and how it'd be nice to have a prolog like rules based system to do certain tasks in guix. implementing that in scheme has likely already been done. so I will look into it.