The guys at Edinburgh university did a great job with P#, an extended Prolog interpreter entirely written in C#. You can easily formulate your predicates and integrate the Prolog program evaluating these predicates into C# or VB. Maybe this is the right thing to build advanced engines for rules based systems. I'll give it a try in one of my next spare time hacks.