finished exercise 1 of prolog exercises, logical expressions.
Made all text english for convenience.