Деревья: загрузка дерева из файла, добавление вершины, удаление вершины - Prolog

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

Помогите разработать программу, для работы с двоичными деревьями. Реализовать следующие функции: загрузка дерева из файла, добавление вершины, удаление вершины, добавление дуги, все виды обхода дерева, просмотр дерева в традиционном представлении (корень вверху, листьевые вершины внизу). Есть код, но на половину рабочий, не могу понять в чем ошибка, мне сказали там ряд ошибок, которые я найти не могу:

DOMAINS
 T=tree(integer,t,t);nil
 FILE=myfile
 
PREDICATES
 udprinttree(t)
 duprinttree(t)
 lrprinttree(t)
 rlprinttree(t)
 add_root(t,integer,t) 
 add_leaf(t,integer,t) 
 del_root(integer,t,t)
 del_leaf(integer,t,t)                               
m(char)
m1(char)
m2(char)
m3(char)
m4(char)
menu
menu1
menu2
menu3
menu4
 
GOAL
 menu.    
 
CLAUSES
 udprinttree(nil):-!.
 udprinttree(tree(K,L,R)):-write("("),write(K),
  udprinttree(L),udprinttree(R),write(")").
 duprinttree(nil):-!.
 duprinttree(tree(K,L,R)):-write("("),duprinttree(L),
  duprinttree(R),write(k),write(")").
 lrprinttree(nil):-!.
 lrprinttree(tree(K,L,R)):-write("("),lrprinttree(L),
  write(k),lrprinttree(R),write(")").
 rlprinttree(nil):-!.
 rlprinttree(tree(K,L,R)):-write("("),rlprinttree(R),
  write(k),rlprinttree(L),write(")").
 
 add_root(nil,X,tree(X,nil,nil)).
 add_root(tree(K,L,R),X,tree(X,L1,tree(K,L2,R))):-
  X<K,add_root(L,X,tree(X,L1,L2)). 
 add_root(tree(K,L,R),X,tree(X,tree(K,L,R1),R2)):-
  add_root(R,X,tree(X,R1,R2)).
    
 add_leaf(nil,X,tree(X,nil,nil)).
 add_leaf(tree(X,L,R),X,tree(X,L,R)).
 add_leaf(tree(K,L,R),X,tree(K,L1,R)):-
  X<K,add_leaf(L,X,L1).
 add_leaf(tree(K,L,R),X,tree(K,L,R1)):-
  add_leaf(R,X,R1).
 
 del_root(X,tree(X,nil,R),R):-!.  
 del_root(X,tree(X,L,nil),L):-!. 
 del_root(X,tree(K,L,R),tree(K,L1,R)):- 
  X<K,!,del_root(X,L,L1).            
 del_root(X,tree(K,L,R),tree(K,L,R1)):- 
  del_root(X,R,R1).      
 
 del_leaf(X,tree(K,L,R),tree(K,L1,R)):- 
  X<K,!,del_root(X,L,L1).            
 del_leaf(X,tree(K,L,R),tree(K,L,R1)):- 
  del_root(X,R,R1).      

menu:-
clearwindow,
write("1-File"),nl,
write("2-Root"),nl,
write("3-Leaf"),nl,
write("4-Detour"),nl,
write("0-Exit"),
readchar(C),
m(C).
 
m('1'):-menu1.
m('2'):-menu2. 
m('3'):-menu3.
m('4'):-menu4. 
m('0'):-!,
 clearwindow,
 write("Press any key").

 menu1:-
 clearwindow,
 write("1-Open"),nl,
 write("2-Close"),nl,
 write("0-Exit"),nl,
 readchar(C),
 m1(C).
 
 menu2:-
 clearwindow,
 write("1-AddRoot"),nl,
 write("2-DelRoot"),nl,
 write("0-EXIT"),
 readchar(C),
 m2(C).
 
 menu3:-
 clearwindow,
 write("1-AddList"),nl,
 write("2-DelList"),nl,
 write("0-EXIT"),
 readchar(C),
 m3(C).
 
 menu4:-
 clearwindow,
 write("1-UD"),nl,
 write("2-DU"),nl,
 write("3-LR"),nl,
 write("4-RL"),nl,
 write("0-EXIT"),
 readchar(C),
 m4(C).
 
  m1('1'):-!,
  clearwindow,
  openread(myfile,"TREE.TXT"),
  readdevice(myfile),readln(T),write(T),
  readchar(_),
  menu1.
 
  m1('2'):-!,
  clearwindow,
  writedevice(File),write(t),
  closefile(File),
  readchar(_),
  menu1.
 
  m1('0'):-!,
  clearwindow,
  menu.
 
  m2('1'):-!,
  clearwindow,
  readint(X),
  add_root(nil,X,nil),
  readchar(_),
  menu2.
 
  m2('2'):-!,
  clearwindow,
  readint(X),
  del_root(X,nil,nil),
  readchar(_),
  menu2.
 
  m2('0'):-!,
  clearwindow,
  menu.
 
  m3('1'):-!,
  clearwindow,
  readint(X),
  add_leaf(nil,X,nil),
  readchar(_),
  menu3.
 
  m3('2'):-!,
  clearwindow,
  readint(X),
  del_leaf(X,nil,nil),
  readchar(_),
  menu3.
 
  m3('0'):-!,
  clearwindow,
  menu.
 
  m4('1'):-!,
  clearwindow,
  udprinttree(T),
  readchar(_),
  menu4.
 
  m4('2'):-!,
  clearwindow,
  duprinttree(T),
  readchar(_),
  menu4.
 
  m4('3'):-!,
  clearwindow,
  lrprinttree(T),
  readchar(_),
  menu4.
 
  m4('4'):-!,
  clearwindow,
  rlprinttree(T),
  readchar(_),
  menu4.
 
  m4('0'):-!,
  clearwindow,
  menu.

При данном раскладе выдает ошибку 705 (Free variables are not allowed here) в местах где написано write (K) (L) и т.п. Если их изменить на маленькие буквы, то появляется другая ошибка 708 (Warning: The variable is not bound in this clause, F10=ok, ESC=abort)... если продолжить - то дерево запускается но не работает корректно... и файл Tree.txt не знаю чем заполнить, сама прога этого не делает... Особо не судите, нам в универе пролог вообще не преподавали, даже литературу не дали по нему, ищите где хотите мол и делайте курсач тоже как хотите... Вот я и пытаюсь

Решение задачи: «Деревья: загрузка дерева из файла, добавление вершины, удаление вершины»

Листинг программы

type
String10 = String[10];
TStringArray = array [1..1000000] of String10;
PStringArray = ATStringArray;
var
NumNodes : Integer;
NodeLabel : PStringArray; // Массив меток узлов.
procedure Preorder(node : Integer);
begin
VisitNode(NodeLabelA[node]); // Посещение узла.
if (node*2+1<=NumNodes) then
Preorder(node*2+1); // Посещение дочернего узла 1.
if (node*2+2<=NumNodes) then
Preorder(node*2+2); // Посещение дочернего узла 2.
end;
procedure Inorder(node : Integer);
begin
if (node*2+1<=NumNodes) then
Inorder(node*2+1); // Посещение дочернего узла 1.
VisitNodefNodeLabel"[node]); // Посещение узла.
if (node*2+2<=NumNodes) then
Inorder(node*2+2); // Посещение дочернего узла 2.
end;
procedure Postorder(node : Integer);
begin
if (node*2+l<=NumNodes) then
Postorder(node*2 + l) ; // Посещение дочернего узла 1.
if (node*2+2<=NumNodes) then
Postorder(node*2+2); // Посещение дочернего узла 2.
VisitNode(NodeLabel^[node]); // Посещение узла.
end;
procedure BreadthFirst(node : Integer);
var
I : Integer;
begin
for i := 0 to NumNodes do
VisitNode(NodeLabel^[i]);
end;

Объяснение кода листинга программы

В первой строке объявлены типы данных: String10 - строка из 10 символов, TStringArray - массив строк, PStringArray - указатель на массив строк.
Далее идут переменные: NumNodes - количество узлов в дереве, NodeLabel - массив меток узлов.
В процедуре Preorder происходит обход дерева в порядке возрастания (предварительно, потом дочерние узлы).
В процедуре Inorder происходит обход дерева в порядке возрастания (сначала левое поддерево, потом узел, потом правое поддерево).
В процедуре Postorder происходит обход дерева в порядке убывания (сначала правое поддерево, потом левое поддерево, потом узел).
В процедуре BreadthFirst происходит обход дерева по ширине (сначала все узлы на одном уровне, потом следующий уровень и так далее).