Ошибка "free variables are not allowed here"

DOMAINS
    i=integer
    s=string
    c=char
    li=i* 
DATABASE - knowledge
    cond(i,s)
    rule(s,li) 
DATABASE - dialog
    cond_is(i,c) 
PREDICATES
    start
    animals 
    check(li) 
    test_cond(i) 
    update 
    add_cond(li) 
    print_cond(i,li,li) 
    read_cond(c,li,li) 
    ex_cond(i,li,li,i) 
    wr_cond(c,i,li,li)
    new_cond(i,li,li) 
    read_true_char(c) 
    test(c,c) 
CLAUSES
start:-
    consult("C:Lab\\animals.ddb",knowledge), 
    write("Make an animal, and I'll try it guess "),nl,
    animals,  
    retractall(_,dialog), 
    retractall(_,knowledge), 
    nl,nl,write("Do you want to play again? (1-Yes,2 - No) "),
    read_true_char(C), C='1',!,start. 
    start:-
    nl,nl,write("Всего доброго! До новых встреч"),
    readchar(_).
animals:-
    rule(X,L),
    check(L),
    nl,write("Я думаю, это ",X),
    nl,write("Я прав? (1 — да, 2 — нет)"),
    read_true_char(C),C='1',!.
animals:-
    nl,write("Я не знаю, что это за животное"),nl, 
    nl,write("Давайте добавим его в мою базу знаний."),nl,
    update.
update:-
    nl,write("Введите название животного:"),
    readln(S),
    add_cond(L), 
    assert(rule(S,L),knowledge), 
    save("C:Lab\\animals.ddb",knowledge). 
add_cond(L):-
    cond_is(_,'1'),!, 
    nl,write("О нем известно, что оно: "), print_cond(1,[],L1), 
    nl,write("Известно ли о нем еще? (1 — да, 2 — нет)"),
    read_true_char(C),
    read_cond(C,L1,L).
add_cond(L):-
    read_cond('1',[],L).
print_cond(H,L,L):-
    not(cond(H,_)),!.
print_cond(H,L,L1):-
    cond_is(H,'1'),!,
    cond(H,T),
    H1=H+1,
    nl,write(T),
    print_cond(H1,[HL],L1).
print_cond(H,L,L1):-
    H1=H+1,
    print_cond(H1,L,L1).
read_cond('1',L,L2):-
    ex_cond(1,L,L1,N),
    new_cond(N,L1,L2),!. 
read_cond(_,L,L):-!.
ex_cond(N,L,L,N):-
    not(cond(N,_)),!.
ex_cond(N,L,L1,N2):-
    cond_is(N,_),!,
    N1=N+1,
    ex_cond(N1,L,L1,N2).
ex_cond(N,L,L1,N2):-
    cond(N,S),
    nl,write("Оно ",S,"? (1 — да, 2 — нет)"),
    read_true_char(A),
    wr_cond(A,N,L,L2),
    N1=N+1,
    ex_cond(N1,L2,L1,N2).
wr_cond('1',N,L,[NL]):-!.
wr_cond('2',_,L,L):-!.
new_cond(N,L,L1):-
    nl,write("Есть еще свойства? (1 — да, 2– нет)"),
    read_true_char(A),A='1',!,
    nl,write("Укажите новое свойство,которым обладает животное"),
    nl,write("в виде 'оно <описание нового свойства>'"),
    readln(S),
    assertz(cond(N,S)), 
    N1=N+1,
    new_cond(N1,[NL],L1).
    new_cond(_,L,L).
check([HT]):-
    test_cond(H), 
    check(T).
    check([]).
test_cond(H):-
    cond_is(H,'1'),!. 
test_cond(H):-
    cond_is(H,'2'),!,fail. 
test_cond(H):-               
    cond(H,S),nl,write("Оно ",S,"? (1 — да, 2 — нет)"),
    read_true_char(A),
    assert(cond_is(H,A)),
    test_cond(H).
read_true_char(C):-
    readchar(C1),
    test(C1,C).
test(C,C):- '1'<=C,C<='2',!.
test(_,C):- write("Нажмите 1 или 2!"),nl,
    readchar(C1),
    test(C1,C). 
GOAL
    start