Exercise $1$:

Given Staterfents:

John likes strawberries.

Mary likes tomatoes.

Emma likes blueberries.

Strawberries are berries.

Tomatoes are fruits.

Blueberries are berries.

Those who like berries are energetic.

Those who like fruits are healthy.

Tasks:

Formalize these facts and rules in Prolog.

What is the query to find out who is energetic?

What is the query to find out "Who likes tomatoes?"

How to find out the berries known by the program?

Provide the derivation tree for the query "Who is healthy?"