abudnik/tcalc
tcalc - C++ compile-time Prolog interpreter
Hasnain says:
Why?!
"C++ COMPILE-TIME PROLOG INTERPRETER
-----------------------------------
C++ Templates are Turing Complete. It means that any computation expressible by
a computer program can be computed, in some form, by a template metaprogram."