Redirecting to prolog