Implement the following Propositional Logic Problem into Prolog (include rules and then queires):

We will use logic statements to explain the relationships between the foods and conditions and then create a program in Prolog. We will provide the user with a list of three health conditions, including high cholesterol, high blood sugar, and high blood pressure. We will then provide the user with 5 different examples of foods, including chicken, chocolate, fish, pasta, and cheese.

When the program begins, it will ask the user to choose from the three health conditions and ask them to type in the condition or conditions they have. The user will input the food they have eaten over the course of seven days. For example, the program will prompt the user to input a food for day one, and then day two, and so on. If at any point the user inserts a food or combination of food that is harmful for their existing condition, the program will issue a warning relating to that health condition.

We will provide propositional logic expressions below to portray the relationships between the food and health conditions:

P: Warning for User with High Cholesterol

Q: Warning for User with High Blood Sugar

R: Warning for User with High Blood Pressure

S: User Eats Chicken More Than Once

T: User Eats Chocolate More Than Once

U: User Eats Fish More Than Once

V: User Eats Pasta More Than Once

W: User Eats Cheese More Than Once

1:

2:

3:

4:

5:

As you can see, the foods we have chosen can affect more than one health condition. Depending on what health condition or conditions the user inserts at the beginning, specific warnings will pop up after they eat an excess of one bad food during a single week. The user is able to receive more than one warning at a time if they put in more than one health condition. For instance, if the user put in more than one health condition, most of the implication propositional statements would become conjunctive rather than disjunctive.