tuProlog cleaned