We use Sicstus Prolog, which we connect to .Net by a provided set of interface-classes

It also has a bi-directional interface to Java, but Sicstus is unfortunately neither free nor cheap