Linux上にIF/Prologで構築されているようですが、
WindowsでP#でもうまくいくでしょうか?