Hey! I found some logic programming related stuff in the dev holochain discord which I found somehow relevant and wanted to share here: and here: