A interesting modern logic programming language: https://github.com/mcsoto/cosmos