50 Years of Prolog and Beyond