Multi-paradigm Java-Prolog integration in tuProlog