fixed dependency o swiprologlibs