A Linguistic Symbiosis Framework for Java and Prolog