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