Резюме

Резюме

• Ввод и вывод (отличный от связанного с вопросами к программе) осуществляется посредством встроенных процедур. В данной главе описан простой и практичный набор таких процедур, имеющихся во многих реализациях Пролога.

• Файлы являются последовательными. Существуют текущие входной и выходной потоки. Пользовательский терминал рассматривается как файл с именем user.

• Переключение между потоками осуществляется с помощью процедур:

sее( Файл)

 Файл становится текущим входным потоком

tell( Файл)

 Файл становится текущим выходным потоком

seen

 закрывается текущий входной поток

told

 закрывается текущий выходной поток

• Файлы читаются и записываются двумя способами:

  как последовательности символов

  как последовательности термов

Встроенные процедуры для чтения и записи символов и термов таковы:

rеad( Терм)

  вводит следующий терм

write( Терм)

  выводит Терм

put( КодСимвола)

  выводит символ с заданным ASCII-кодом

get0( КодСимвола)

  вводит следующий символ

gеt( КодСимвола) 

  вводит ближайший следующий "печатаемый" символ

• Две процедуры облегчают форматирование:

nl      начинает новую строку

tab( N) выводит N пробелов

• Процедура nаmе( Атом, СписокКодов) осуществляет синтез и декомпозицию атомов. СписокКодов — список ASCII кодов символов, образующих Атом.