Some of the newest and best programming languages for logic programming are precisely the modern versions of Prolog. Check out for example Ciao Prolog which, apart from the classic Prolog functionality, has many semantic and syntactic extensions and features including constraint logic programming, meta-programming, higher-order, functions, foreign interfaces, assertions/types with unified static and dynamic verification, auto-documentation, lots of libraries, execution in wasm, a very useful playground, notebooks, etc., etc.