First! Steps 1 to 5 of prolog exercise completed. Needs to be tested more thoroughly.