Не удаётся запустить экспертную систему

domains
str=string.
int=integer.
intlist=integer*.
predicates
nondeterm rule(int,str,str,intlist).
nondeterm complete(int).
nondeterm recognition(str).
nondeterm discover(intlist).
nondeterm ask(int).
facts
sfd(int,str).
clauses
rule(1,"tip","voennoe sobitie",[1]).
rule(2,"tip","mirnoe sobitie",[2]).
 
rule(3," voennoe sobitie ","padenie rimskoi imperii",[3]).
rule(4," voennoe sobitie ","vilikaya francuzskaya revolyziya",[4]).
rule(5," voennoe sobitie ","otechestvennay voina s Franciei",[5]).
rule(6," voennoe sobitie ","nachalo Pervoi mirovoi voini",[6]).
rule(7," voennoe sobitie "," nachalo Vtoroi mirovoi voini ",[7]).
rule(8," voennoe sobitie ","Atomnaya bombardirovka Herosimi i Nagasaki",[8]).
rule(9," voennoe sobitie ","holodnaya voina",[9]).
 
rule(10," mirnoe sobitie ","rascol hrestiansloy cerkvi",[10]).
rule(11," mirnoe sobitie ","ecpidiciya Hristofora Columba",[11]).
rule(12," mirnoe sobitie ","Lublinskay uniya",[12]).
rule(13," mirnoe sobitie ","Sozdanie OON",[13]).
rule(14," mirnoe sobitie ","Yuri Gagarin – Pervii chelovek v kosmose",[14]).
rule(15," mirnoe sobitie ","Raspad SSSR",[15]).
rule(16," mirnoe sobitie ","Lukashenko A.G. stanovitsya prezidentom RB",[16]).
 
ask(X):-sfd(X,"y"),!.
ask(X):-sfd(X,"n"),!,fail.
 
ask(1):-write("eto voennoe sobitie?"),!,complete(1).
ask(2):-write("eto mirnoe sobitie?"),!,complete(2).
 
ask(3):-write("padenii imperii Cezarya?"),!,complete(3).
ask(4):-write("poyavlenie pervoi francuzskoy respubliki?"),!,complete(4).
ask(5):-write("Vo vremya etoi voini Moskva bila sojjena?"),!,complete(5).
ask(6):-write("uchasnikami etoi voini bili Antanta i Chetvernoy soyz?"),!,complete(6).
ask(7):-write("v etoi voine pogiblo 65 mln. chelovek ?"),!,complete(7).
ask(8):-write("vstuplenie mira v yadernii vek ?"),!,complete(8).
ask(9):-write("Vo vremya etoi voini SSSR razmestila yadernie boegolovki na Ku-be?"),!,complete(9).
 
ask(10):-write("poyavlenie katolicizma i pravoslaviya?"),!,complete(10).
ask(11):-write("otkritie Ameriki?"),!,complete(11).
ask(12):-write("obrazovanie Rechi Pospolitoi?"),!,complete(12).
ask(13):-write("Sozdanie odnoi iz samih izvestnih mejdunarodnih organi-zacii?"),!,complete(13).
ask(14):-write("Pervii polet cheloveka v kosmos?"),!,complete(14).
ask(15):-write("Krupneishaya geopoliticheskaya katastrofa XX ve-ka?"),!,complete(15).
ask(16):-write("Samoe vajnoe sobitie dlya Belarusi?"),!,complete(16).
 
 
recognition(X):- rule(N, X, Y, Z), discover(Z), !,
write("      pohoje eto ", X, " - ", Y, " (pravilo ", N,")"), nl,
recognition(Y).
recognition("tip"):- write("neizvestnoe sobitie"),nl,!.
recognition("voennoe sobitie "):- write("neizvestnoe sobitie "),nl,!.
recognition("mirnoe sobitie "):- write("neizvestnoe sobitie "),nl,!.
recognition(_).
 
discover([]).
discover([X|Y]):- ask(X), discover(Y).
complete(X):- nl, readln(Y), assert(sfd(X, Y)), Y="y".
goal
retractall(_), recognition("tip").