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 unfortuna

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