updates prolog labb 4