Finished prolog assignment