Recognizing that template resolution in C++ is basically logic programming helps when debugging type errors in templates. Merely reformatting the types and erro

Recognizing that template resolution in C++ is basically logic programming helps when debugging type errors in templates. Merely reformatting the types and errors to look more Prolog-y helped me immensely when dealing with a heavily templatizd library for matrix programming: https://www.boost.org/doc/libs/1_67_0/libs/numeric/ublas/doc/index.html https://www.boost.org/doc/libs/1_67_0/libs/numeric/ublas/doc...