Prolog interpreter using only C++ template metaprogramming | Hacker News Reader