Minor for experiment prolog