Prolog .NET

P# is a Prolog implementation for .NET. It translates Prolog code to C#. DeKlarit inference engine is built in Prolog, so I spend a few hours each day doing Prolog programming. I'll give this one a try...

Also, the BinNet guys have a Java- based Prolog interpreter. They compiled it with J# so they have it now running in .NET.