javadoc added for tuprolog