日本語が使えるProlog処理系はありませんか？
フリーでWindowsで動くとありがたいです。