Lab Work 2: Prolog