corrected a mistake in the InterProlog query