JVM上で動くPrologない??