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.