small prolog 2.0 by Henri de Feraudy (found at https://github.com/rebcabin/LINQdoesLogic ) and updated to compile without warnings. - View it on GitHub