Visual prolog 7.5 Родственные отношения

Формулировка задачи:

implement main
    open core
 
class predicates
   parent: (symbol,symbol) nondeterm.
   preparent: (symbol,symbol) nondeterm.
   brat: (symbol,symbol) nondeterm.
   /*dda: (symbol,symbol) nondeterm.
   db: (symbol,symbol) nondeterm.*/
 
clauses
 
    parent("Таня", "Наташа").
    parent("Наташа", "Андрей").
    parent("Оля", "Маша").
    brat("Артём", "Андрей").
    brat("Оля", "Наташа").
    brat("Аня", "Маша").
 
preparent(X, Z) :- parent(X, Y), parent(Y, Z).

class predicates
    test: ().
clauses
    test() :-
        preparent("Таня", "Андрей"),
        !,
        console::write("Yes");
        console::write("No").
 
clauses
    run():-
        console::init(),
        test.
 
end implement main

Пролог выдаёт мне ошибку

The flow pattern '(i,o)' does not exist for 'main:: parent/2'

в строке: preparent(X, Z) :- parent(X, Y), parent(Y, Z). Что делать с этим?

preparent(X, Z) :- parent(X, Y), parent(Y, Z). Если в выражении использовать только переменные из preparent, то всё работает. Но как тогда установить необходимое мне отношение?

Решение задачи: «Visual prolog 7.5 Родственные отношения»

textual
                            Листинг программы 
                        
                            parent: (symbol,symbol) nondeterm anyflow.