Пролог 1 лаба

predicates
      nondeterm parent(symbol,symbol).
      nondeterm islucky(symbol).
      nondeterm twochildren(symbol).
      nondeterm sister(symbol, symbol).
      nondeterm aunt(symbol, symbol).
clauses
     islucky(Name):- parent(Name,_).
     twochildren(Name):- parent(Name, Child1), parent(Name, Child2), Child1 <> Child2.
     grandson(Child, Adult):- parent(Adult,X), parent(X, Child).
     sister(Sis, Bro):- parent(X, Sis), parent(X, Bro).
     aunt(Adult, Child):- sister(Adult, X), parent(X, Child).
     parent(pam, bob).
     parent(tom, bob).
     parent(tom, liz).
     parent(bob, ann).
     parent(bob, pat).
     parent(pam, jim).
GOAL
    /* a. parent(jim, X). */
    /* parent(X, jim). */
    /* parent(pam, X), parent(X, pat). */
    /* parent(pam, X), parent(X, Y), parent(Y, jim). */
    /* parent(Y,X), parent(X, pat). */
    islucky(bob).