Предикат writedevice/1

Предикат writedevice либо назначает или позволяет получить имя теку-

щего устройства записи. Он имеет формат:

writedevice (SymbolicFileName) /* (i),(o) */

Предикат writedevice переопределит устройство записи, если указанный

файл открыт для записи или добавления. Если переменная SymbolicFileName

свободна, writedevice присвоит ей имя текущего активного устройства запи-

си.