For most logicians, C++ will not be the language of choice for implementing their algorithms. In the best case, they will admit that using an imperative language like C++ may be needed for efficiency, but at the same time they believe that this will always result in ugly code. I will show that implementation of … Continue reading Implementing Logic in C++