A simple Prolog interpreter written in C#