Activity 1. Install Prolog software SWI Prolog: Go to http://www.swi-prolog.org/, click oad" link on the left pane, choose "stable release" for MS Windows, on the list of ions, choose the one for the computer you are using, install the software. y 2. Get acquainted with SWI Prolog's file editing and activation features. Lean how to edit and save Prolog program (follow "File >Edit" path) and how to load the software into the runtime system (use "File->Consult") Activity 3. Write the following statements as Prolog clauses, in the order given: If it is raining or snowing, then there is precipitation. If it is freezing and there is precipitation, then it is snowing. If it is not freezing and there is precipitation, then it is raining. It is snowing What answer does Prolog give to the following queries: Is it freezing? Is it raining? Can you rearrange the clauses so that Prolog can give better answers? Activity 4. Write the following statement as Prolog clauses: Mammals have four legs and no arms, or two arms and two legs A horse is a mammal. A horse has no arms. Can Prolog derive that a horse has four legs