Англо-русский переводчик

DOMAINS 
rus, eng = string
file = f 
Fact=word(rus, eng) 
Facti=Fact*
 
DATABASE 
word(rus, eng)
 
PREDICATES 
nondeterm fact(Fact)
nondeterm rus2eng(rus, eng)
nondeterm eng2rus(rus, eng)
nondeterm punkt(char)
nondeterm menu
nondeterm result
nondeterm poelem(Facti)
 
CLAUSES
rus2eng(Russian,Word):- word(Russian,Word),!. 
rus2eng(_,"Англ перевода нет в базе ").
eng2rus(Russian,Word):- word(Russian,Word).
eng2rus("рус перевода нет в базе ",_).
 
fact(word(Russian,English)):-word(Russian, English).
 
result:-existfile("C:\Users\nrmL\Desktop\words.txt"),!,consult("I:\\words.txt"),menu.
result:-openwrite(f,"C:\Users\nrmL\Desktop\words.txt"),closefile(f),menu.
 
poelem([]):- nl.
poelem([H|T]):- write(H,"\n"),poelem(T).
 
menu:- 
write("1 - Перевод русского слова на английский"),nl,
write("2 - с англ на рус"),nl,
write("3 - новая запись"),nl, 
write("4 - изменение перевода рус языка"),nl, 
write("5 - изменение перевода англ языка"),nl, 
write("6 - удаление записи из словаря"),nl,
write("7 - вывод всех записей"),nl,
write("0 - выйти"),nl,
readchar(C), punkt(C).
 
punkt('1'):-
write("введите русское слово: "),readln(Rus),
rus2eng(Rus, Eng),nl,
write("перевод: ",Eng),nl, 
readchar(_),menu,nl.
 
punkt('2'):-
write("введите англ слова: "),readln(Eng),
eng2rus(Rus, Eng),nl,
write("перевод: ",Rus),nl,
readchar(_),menu,nl.
 
punkt('3'):-
write("введите рус слово: "),readln(Rus),
write("введите перевод: "),readln(Eng),
assert(word(Rus,Eng)),nl,menu,nl.
 
punkt('4'):-
write("введите англ слово: "),readln(Rus),
write("введите перевод: "),readln(Eng),
retract(word(Rus,_)),
assert(word(Rus,Eng)),
menu,nl.
 
punkt('5'):-
write("введите англ: "),readln(Eng),
write("введите рус: "),readln(Rus),
retract(word(Rus,_)),
assert(word(Rus,Eng)),
menu,nl.
 
punkt('6'):-write("введите англ слово, запись которого нужно удалить: "), nl, 
readln(Eng),retract(word(_,Eng)),menu,nl.
 
punkt('7'):-findall(Fact,fact(Fact),Facti),nl,poelem(Facti),menu,nl.
 
punkt('0'):-save("C:\Users\nrmL\Desktop\words.txt"),retractall(_).
punkt(_):- menu.
 
GOAL 
result.