@BogRatiON

Создать базу данных из начальной базы с учетом приведенных условий. Выполнить реализацию внешней базы данных, при этом результат поместить во внешний файл. При реализации внутренней базы данных результат выводится в окно выполнения Пролога.
DOMAINS
int=integer
list=integer*
file=out

DATABASE
dat2(int).

PREDICATES
print_outside().
reverse(list,list).
reverse(list,list,list).
rev(list).

CLAUSES
reverse(L,RL):-reverse(L,[],RL).
reverse([],Buf,Buf): - !.
reverse([H|T],Buf,RL):-reverse(T,[H|Buf],RL).

print_outside:-
consult("2-1.txt"),
write("Part2 Printing into the file."),
findall(X,dat2(X),L),
reverse(L,L2),openwrite(out,"2-2.txt"),
writedevice(out),rev(L2),closefile(out).

rev([H|T]):-write(H),nl,rev(T).
rev([]).

GOAL
print_outside.
по заданию ли я выполнил? Как я понял я вывожу не базу а список помогите исправить.

0