某些类型的领域逻辑使用Prolog谓词比C#对象更自然。这样一个领域的例子是家庭关系的表示。有没有一种方法将类似于Prolog的推理引擎嵌入到.NET应用程序中?在我的应用程序中,使用推理来驱动我的领域会很好,但在其余部分则使用传统的OO。