Prolog is not a pure logic programming language. It may be the best we have but there is some interest in building better languages.
As Prolog is less expressive than first order predicate calculus, a fair amount of work is going on to produce systems that permit the user to exploit the expressivity of full first order predicate logic ---and other logics too!