bad dependency for prolog