added prolog exercise