C#Prolog -- A Prolog interpreter written in C#. Can easily be integrated in C# programs. Characteristics: reliable and fairly fast interpreter, command line interface, builtin DCG, XML-predicates, persistent predicates (using Firebird RDBMS), extendible.

http://cs-prolog.sourceforge.net

Interpreters