[eatplayrove]

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.