Чем идентифицируются файлы в ходе операций ввода-вывода?

Что нужно для использования расширенных функций ввода-вывода в РЕФАЛ?

Как структурируются данные в ходе вычислений?

Программист написал следующее предложение, желая выполнить свой оператор proceed_with, имеющий побочный эффект вывода значений на экран, и заканчивающийся корректной неудачей почти всегда, для всех начал списка X вплоть до успеха действий:

        		accepted(X):- repeat, X=[Y|Z], nu_ee(Z), proceed_with(Y).          		nu_ee(Z).        	

Что он получит?

Программист написал следующие предложения, желая выполнить свой оператор proceed_with, имеющий побочный эффект вывода значений на экран и заканчивающийся корректной неудачей почти всегда, для всех начал списка X вплоть до успеха действий:

        		my_call(H,X):- not(X=[]), proceed_with(H).         		my_call(H,[Y|Z]):- append(H,[Y],U), my_call(U,Z).         		accepted(X):- my_call([],X).         	

Что он получит?