Определенные виды логики предметной области более естественно представляются с помощью предикатов Prolog, чем объектов C#. Одним из примеров такого домена является представление семейных отношений.
Есть ли способ встроить механизм вывода, подобный Прологу, в приложение .NET? Было бы неплохо использовать выводы для управления моей областью, но традиционный объектно-ориентированный подход в остальной части моего приложения.