How can I embed a Prolog-like inference engine into a .NET application?

Question

Certain kinds of domain logic are represented more naturally using Prolog predicates than C# objects. One example of such a domain is representing family relationships.

Is there a way to embed a Prolog-like inference engine into a .NET application? It would be nice to use inferences to drive my domain but traditional OO in the rest of my application.

Answer 1

Try this one: Prolog.NET

Answer 2

Hope not too late! Try tuProlog.NET. I use it in Java and love it!