Soufflé, a logic programming language inspired by Datalogsouffle-lang.github.io4 pointstosh5 years ago