Prolog is really interesting. There's also https://github.com/mcsoto/cosmos which transpiles to Prolog, I believe. It looks like the latter isn't actively worked on, unfortunately.