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

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 开发者_StackOverflowthere 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.

Try this one: Prolog.NET

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