Задача на прологе

woman("Crash").
woman("Aerie").
woman("Lara").
woman("Kerrigan").
man("Vasya").
man("Raynor").
man("Diablo").
man("Xaero").

parent("Xaero","Diablo").
parent("Diablo","Vasya").
parent("Lara","Vasya").
parent("Vasya","Aerie").
parent("Vasya","Raynor").
parent("Raynor","Crash").
parent("Kerrigan","Crash").

father(X,Y):-
    man(X),
    parent(X,Y).
mother(X,Y):-
    woman(X),
    parent(X,Y).
child(X,Y):-
    parent(Y,X).
grandChild(X,Y):-
    child(X,A),
    child(A,Y).  
grandMother(A,B):-
    woman(A),
    grandChild(B,A).
grandFather(A,B):-
    man(A),
    grandChild(B,A).
aunt(A,B):-
    woman(A),
    parent(CommonParent,A),
    parent(Z,B),
    parent(CommonParent,Z).
   
proParent(A,B):-
   parent(A,B).
proParent(A,B):-
   parent(C,B),
   proParent(A,C).

implement Family
    open core, stdIO

constants
    className = "Family".
    classVersion = "".
domains
    gender = man(); woman().

class facts - db
    person: (string Name, gender Gender).
    parent: (string Name1, string Name2).

class predicates
    father: (string F, string C) nondeterm anyflow.  
clauses
    father(F,C):-
           person(F,man),
           parent(F,C).
           
class predicates
    mother: (string M, string C) nondeterm anyflow.
clauses
    mother(M,C):-
           person(M,woman),
           parent(M,C).
 
 class predicates
     anscestor: (string A, string D) nondeterm anyflow.
clauses
     anscestor(A,D):-
            parent(A,D).
      anscestor(A,D):-
            parent(F,D),
            anscestor(A,F).
       
clauses
    classInfo(className, classVersion).

clauses
    run():-
        console::init(),

         file::consult("relations.txt",db),
         father(Y,X),
         writef("% is a father of %\n",Y,X),
         write("Enter person name: "),
         B = readLine(),
         anscestor(A,B),
         writef("% is ancestor of %\n",A,B),
         fail().
    run():-
        succeed().
                   
end implement Family

goal
    mainExe::run(Family::run).

...
console::init(),
...