#3373 fixed dependencies of swiprologlibs