Prolog interpreter using only C++ template metaprogramming | Heykuki News