JAVA <--> ProLog