Objective To program using the logic Download and install SWI-Prolog from Research Prolog then answer the 5 questions below. features and programming style Brief Introduction to Prolog Note: You will find more programming related information in the help file that comes up directly after you install SWI-Prolog. Relations in Prolog Prolog programs specify relationships among objects and properties of objects. When we say, "John owns the book, we are declaring the ownership relationship between two objects: John and the book. When we ask, "Does John own the book?" we are trying to find out about a relationship. Relationships can also rules such as: Two people are sisters if they are both female and they have the same parents. A rule allows us to find out about a relationship even if the relationship isn't explicitly stated as a A little more on being sisters As usual in programming. you need to be a bit careful how you phrase things: The following would be better: A and B are sisters if A and B are both female and they have the same father and they have the same mother and A is not the same as B Programming in Prolog Declare facts describing explicit relationships between objects and properties objects might have (e.g. Mary likes pizza, grass has color green) Define rules defining implicit relationships between objects (e.g. the sister rule above) and/or rules defining implicit object properties (e.g. X is a parent if there is a Y such that Y is a child of X) One then uses the system by Asking questions above relationships between objects, and/or about object properties (e.g. does Mary like pizza? is Joe a parent?)