¿Cómo puedo incrustar un motor de inferencia similar a un prólogo en una aplicación .NET?

Question

Ciertos tipos de lógica de dominio se representan más naturalmente utilizando predicados Prolog que los objetos C#. Un ejemplo de tal dominio es representando las relaciones familiares.

¿Hay alguna manera de incrustar un motor de inferencia similar a un prólogo en una aplicación .NET? Sería bueno usar inferencias para impulsar mi dominio pero OO tradicional en el resto de mi aplicación.

Answer 1

Prueba este: Prolog.net

Answer 2

¡Espero que no sea demasiado tarde! Probar tuprolog.net. ¡Lo uso en Java y me encanta!