I dislike negatively reviewing an article, but the assertion is misleading. All C++ is doing in this case is type deduction, and that is basically unification.

I dislike negatively reviewing an article, but the assertion is misleading. All C++ is doing in this case is type deduction, and that is basically unification. Sure, this is a very narrow subset of logic programming. But that would be like saying you can do variable assignment in logic programming so logic programming incorporates C++. The things that make LP strong (in particular recursion) is not handled in any way here.