Haha, that reminds me to a guy who implemented a PROLOG-like language with templates: https://github.com/abudnik/tcalc