A C# implementation of Prolog (port from https://sourceforge.net/p/cs-prolog ) - View it on GitHub