add lesson 4 and the prolog program