added java/prolog relation checker