prolog/random_stuff/shapiro
