tuProlog cleaned again