Cтраница 4
Следует еще раз заметить, что детали консультирования с файлами зависят от конкретной реализации Пролога. Это замечание касается и большинства остальных встроенных процедур. [46]
Кроме того, с помощью этих процедур можно выполнять чтение из файлов и запись в файлы, отличные от стандартных файлов input и output; при этом можно использовать некоторые простые средства задания форматов данных. В языке Паскаль предусмотрено несколько других встроенных процедур, имеющих отношение к вводу-выводу; их действие в некоторой степени определяется используемой версией языка. [47]
Ослаблены ограничения на использование выражений спецификации и инициализации. В частности, в них разрешено использовать любые стандартные встроенные процедуры. [48]
![]() |
Совместимость по присваиванию.| Функции преобразования. [49] |
У программиста может быть значение одного типа, которое нужно присвоить переменной, имеющей тип, не совместимый с данным. К счастью, в Модуле-2 имеется набор встроенных процедур для выполнения таких преобразований. Если вам не ясно, что такое процедура, на этом этапе изучения можно рассматривать ее как операцию, принимающую на входе единственное выражение ( заключенное в скобки) и возвращающую значение нужного типа. Процедуры рассматриваются в гл. [50]
Прологе, основывается на том, что программист может писать вызовы вида факт (), где t - структурированный терм. При активации этот вызов решается непосредственно с помощью встроенной процедуры, которая добавляет факт t к остальным утверждениям программы. [51]
Однако с точки зрения реализации ручные и машинные операции различаются. В машинной графической системе линейка или лекало заменяются встроенной процедурой для генерации соответствующей линии. Если эта линия прямая, указанная процедура реализуется с помощью аппаратного генератора векторов. Если же линия кривая, то процедура реализуется программно с использованием одного из математических методов интерполяции ( например, с помощью кубических сплайнов, рассмотренных в гл. Единственный способ, позволяющий обеспечить достаточную гладкость получаемого изображения, состоит в том, чтобы использовать короткие отрезки. [52]