There is a functional Prolog language support for Mono and .NET aready with GAC support and it's under GPL license. The project homepage for download it or contribute is: http://homepages.inf.ed.ac.uk/stg/research/Psharp/ I hope that this will be integrated in Mono project. Ste.