Вывод данных и базы со списками

agent("Ivanov","Kazak",["task1","task2"],[1212,3232])
agent("Petrov","Shlang",["ghgj","hjhkjh","fgggh"],[123,452,232])

agent(A,B,C,D)
write(A),nl,
write(B),nl,
write(C),nl,
write(D),nl,
fail.

% Автор:
% Дата: 28.03.2013
 /*********************************************************************
   Вариант 9
    Некоторое  разведывательное  управление  имеет досье на  своих
    агентов, в  котором  предусмотрены  такие  разделы: Ф.И.О., клички,
    список  выполненных  заданий,  вознаграждение  за  каждое  задание.
    Составить программу, позволяющую
    -вывести полный список агентов,
    -агента, выполнившего наибольшее количество заданий,
    -общую сумму вознаграждения для каждого агента.
 *********************************************************************/
 
DOMAINS /* раздел описания доменов */
  fio, alias = String 
 
  task = String*      /*список заданий*/
  award = integer*  /*список наград*/
                         
  file=f /* файловый домен будем использовать для
          считывания с диска и записи на диск нашей
          базы */
DATABASE /* раздел описания предикатов внутренней
            базы данных */
 
  agent(fio, alias, task, award)
  
PREDICATES /* раздел описания предикатов */
  
  printName(task)
  printTask(task)
  printAward(award)
  
  %предикаты для добавления новых записей в базу
  addTask(task, String, task)
  addAward(award, integer, award)
  addNew(integer, task, award, task, award)  
   
  printAgent(fio, alias, task, award)
  
  printAll
  
  %coolagent(fio, alias, task, award)
  
  %allreward(fio, alias, task, award)
  
  m(char) 
        
  menu
   
  
  start
         /* этот предикат проверяет наличие файла
         с базой на диске и либо загружает
         факты из нее во внутреннюю базу данных,
         если такой файл существует, либо создает
         этот файл, если его не было */
CLAUSES /* раздел описания предложений */
  
  printName([]):-!.
  printName([H|T]):-write(H),nl, printName(T).
  
  %вывод списка заданий
  printTask([]):-!.
  printTask([H|T]):-write(H), write(' '), printTask(T).
  
  %вывод списка наград
  printAward([]):-!.
  printAward([H|T]):-write(H), write(' '), printAward(T).
 
  %добавление нового задания
  addTask([], X, [X]).
  addTask([H|T], X, [H|Res]):- addTask(T, X, Res).
  
  %добавление новой награды
  addAward([], X, [X]).  
  addAward([H|T], X, [H|Res]):- addAward(T, X, Res).
  
  %добавление новой записи
  addNew(0, Task, Award, T, A):- T = Task, A = Award,!.
  addNew(Count, Task, Award, T, A):-
    write("new task"), nl,
    readln(X), 
    addTask(Task, X, NewTask),
    write("new award"), nl,
    readint(Y),
    addAward(Award, Y, NewAward),
    CountNew = Count - 1,
    addNew(CountNew, NewTask, NewAward, T, A). 
  
  printAgent(FIO, ALIAS, TASK, AWARD):-
    write(FIO), write(' '),
    write(ALIAS), nl,
    printTask(TASK), nl,
    printAward(AWARD), nl. 
    
/*вот так (см. printALL) можно вывести список имен агентов,
вопрос как вывести все данные - вместе со списком заданий и наград
каждого агента?*/
 
  printAll:-
   write("spisok agentov:"), nl, 
   findall(H, agent(H,_,_,_),L),
   printName(L), nl.
 
        
  menu:-
    clearwindow,
    write("1 - new record"), nl,
    write("2 - full list of agents"), nl,
    write("3 - agent with max count of tasks"), nl,
    write("4 - summa nagrad"), nl,
    write("0 - quit"), nl,
    readchar(C),
    m(C).
  
  m('1'):-
    clearwindow,
    write("vvedite fio"), nl,
    readln(Name),
    write("vvedite alias"), nl,
    readln(Alias), nl,
    write("vvedite kol-vo zadaniya i premii"), nl,
    readint(Count),
    addNew(Count, Task, Award, T, A),
    assert(agent(Name, Alias, T, A)),
    menu.
    
  m('2'):-
    clearwindow,
    printAll,
    readchar(_),
    menu.    
  
  m('0'):-
    save("baza.txt"),
    retractall(_).
    
  m(_):-
    menu.  
  
  start:-
    existfile("baza.txt"),!,
    consult("baza.txt"),
    menu.
    
  start:-
    openwrite(f, "baza.txt"),
    closefile(f),
    menu.  
  
GOAL
  start.

domains
ilist = integer*
 
predicates
f(integer,string,ilist).
print(integer).
print_list(ilist).
 
clauses
f(1,"fact_1",[1,2,3]).
f(2,"fact_2",[3,2,1]).
f(3,"fact_3",[1,3,2]).
 
print_list([]).
print_list([H|Tail]):-write(H," "),print_list(Tail).
 
print(N):-f(N,S,L),write(S," "),print_list(L),nl.
 
goal
print(1).

f(1,"fact_1",[1,2,3]).

f(1,"fact_1",[1,2,3]).
f(2,"fact_2",[3,2,1]).
f(3,"fact_3",[1,3,2]).

printAll:-
    agent(FIO, ALIAS, TASKS, AWARDS),
    write(FIO, " ", ALIAS), nl,
    printTask(TASKS), nl,
    printAward(AWARDS), nl,
    readchar(C),
    fail.