Prolog - Unir Prolog con C# .NET

Buenas... lo que necesito es saber como se puede unir Prolog con .NET (específicamente en C#). He estado buscando pero no encuentro nada. He visto algunas herramientas, una se llama PrologNET y la otra PSharp, pero no he logrado con ninguna, de hecho ni siquiera sé como usarlas, y no encuentro tutoriales ni ayuda ni siquiera en las páginas de los creadores.

Si alguien supiera, le agradecería montones su ayuda.

GRACIAS!!!

existe un proyecto open source que implementa un motor completo de prolog en java y .Net (aunque esta mas orientado a java) se llama tuProlog y es muy interesante. en la pagina oficial podes encontrar las distros y muy buena documentacion (en ingles ...). te dejo un link

http://www.alice.unibo.it/tuProlog/download.jsp?sub=core

suerte...