Экспертная система. Турбо Пролог. 505 Type error

DOMAINS
    p=string
    n=integer
    l=integer*
 
DATABASE -db
    rule (n, p, p, l),
    cond (n, p, p),
    topic (p)
    
DATABASE
    answer (n,n)
    
PREDICATES
    menu
    m(p)
    start
    quit
    
    expert (p)
    ask1(n, l)
    ask(n,n,l)
    
    correct (l)
 
    member(n,l)
    
    proverka_disease
    
CLAUSES
 
    expert(Topic):-
        rule (K, Topic, Target, QList),
        ask1 (K, QList),
        correct (QList),
        !, nl,
        write ("Your disease -  ", Target), nl.
        
    expert(Topic):-
        write ("Malo dannix  "), nl.
        
        
    ask1 (_,[N|_]):-
        answer(N,0),
        !,
        fail.
        
    ask1 (K,[N|QList]):-
        answer(N,1),
        !,
        ask1(K,QList).
        
    ask1(K,[N|QList]):-
        cond(N,_,Y),
        write ("Verno li, chto u vas   ", Y),
        readint(A),
        !,
        ask(A,K,[N|QList]).
        
    ask1(_,[]).
    
    ask(A,_,[N|_]):-
        assert(answer(N,A)),
        fail.
        
    ask(1,K,[_,QList]):-
        ask1(K,QList).
        
    correct(QList):-
        answer(N,1),
        not(member(N,QList)),
        !,
        fail.
    
    
    member(Elem, [Elem|_Tail]).
    member(Elem, [_Head|Tail]):-
        member(Elem, Tail).
    
    menu :-
        write ("Vvedite nomer, soglasno punktu menu:"),nl,nl,
        write ("1 - Proverka na bolezn"), nl,
        write ("0 - exit"), nl,
        readln (C),nl, C<>"0", m(C), menu.
        
    m(C):- C="1",!, proverka_disease.
 
    m(C):- !, write ("Not found symbolm try again"), nl, nl.
    
    proverka_disease:-
        topic(Topic),
        expert(Topic),
        !.
        
 
    start:-
        existfile ("mon.bd"),
        consult("mon.bd"),
        menu,
        quit.
    
    quit:-
        nl, write ("  EXIT  ").
        
                
GOAL
    makewindow (1,27,57,"",0,0,25,80), start, quit.

rule(1, "болезнь", "язва желудка", [1, 5, 2, 3, 4])
rule(2, "болезнь", "раковая язва", [1, 6, 2, 3])
rule(3, "болезнь", "грипп", [7, 8])
cond(1, "болезнь", "боль в верхней части живота")
cond(2, "болезнь", "голодные боли")
cond(3, "болезнь", "ночные боли")
cond(4, "болезнь", "тяжесть после приема пищи")
cond(5, "боль в верхней части живота", "острая жгучая")
cond(6, "боль в верхней части живота", "тупая ноющая")
cond(7, "болезнь", "температура")
cond(8, "болезнь", "насморк")
topic("болезнь")

% Copyright
 
implement main
 
open core, console, string, list
 
class facts - db
    rule: (positive, string, string, positive*).
    cond: (positive, string, string).
    topic: (string).
 
class facts
    answer: (positive, integer).
 
class predicates
    expert: (string).
    ask: (positive, positive*) determ.
    ask: (integer, positive, positive*) determ.
    getAnswer: () -> integer.
    getAnswer: (char) -> integer determ.
    correct: (positive*) determ.
 
    m: (string) determ.
 
clauses
 
    expert(Topic):-
        rule(K, Topic, Goal, QList),
        ask(K, QList),
        correct(QList),
        !,
        writef("Заключение: Предположительно, Ваш диагноз - %.", Goal).
 
    expert(Topic):-
        writef("Не хватает сведений, чтобы определить %.", Topic).
 
    ask(_, [N | _]):-
        answer(N, 0),     % если признак отсутствует,
        !,     % то это животное не подходит
        fail.
 
    ask(K, [N | QList]):-
        answer(N, 1),    % если признак присутствует,
        !,      % то следующий вопрос
        ask(K, QList).
 
    ask(K, [N | QList]):-
        cond(N, _, Y),     % задается вопрос о признаке
        writef("Верно ли, что  %? (да/нет/?): > ",  Y),
        A = getAnswer(),    % ответ от пользователя
        !,
        ask(A, K, [N | QList]).   % реакция на ответ
 
    ask(_, []).
 
    ask(A, _, [N | _]):-
        assert(answer(N, A)),   % ответ запоминается в БД
        fail.
 
    ask(1, K, [_ | QList]):-     % если ответ положительный,
        ask(K, QList).     % то опрос продолжается
 
    correct(QList):-
        answer(N, 1),      % если есть признак,
        not(isMember(N, QList)),     % которого не должно быть,
        !,      % то животное не подходит
        fail;
        succeed().
 
    getAnswer() = R:-
        S = frontChar(readLine()),
        R = getAnswer(S),
        !.
    getAnswer() = 0.
 
    getAnswer(S) = 1:-       % положительный ответ
        (S = 'д'; S = 'y'; S = 'l'),     % не зависит от раскладки
        !.
 
    run():-
        file::consult("disease.txt", db),
        topic(Topic),
        expert(Topic),
        !,
        _ = readLine().
        succeed().
 
end implement main
 
goal
   mainExe::run(main::run).