Cтраница 4
Ввиду того что исчисление предикатов позволяет оперировать с отдельными объектами ( переменными и константами), иногда полезно вводить предикат равенства между этими объектами, однако это не будет обязательным. Переменные, предикатные и функциональные константы обозначаются буквами или словами, иногда снабженными верхними и / или нижними индексами. Однако на практике соглашения менее строги, а принадлежность объекта к определенному синтаксическому классу определяется по контексту или по неформальным комментариям к формуле. Это послабление позволяет давать объектам мнемонические имена. Они будут широко использоваться для представления знаний ( гл. [46]
Любое предложение состоит из имени задания и набора параметров. Имя задания содержит от одного до восьми алфавитно-цифровых символов, первый из которых - буква. Параметр состоит из ключевого слова ( мнемоническое имя параметра), знака равенства и значения. Параметры отделены от имени задания хотя бы одним пробелом и разделены между собой запятыми. В одном предложении может быть не более 100 параметров. С целью быстрого запоминания набор мнемонических имен ограничен. [47]
В то же самое время, когда появились эти пакеты, возникло новое программное средство: ассемблеры. По-разному применяемый во всех типах систем этот новый тип программ обработки позволил программисту писать свои программы в стилизованном формате, наиболее близком к его образу мышления. Первым этапом явилась адресация диапазона, при которой элементу данных присваивается порядковый адрес относительно некоторой начальной точки диапазона. Вторым этапом было предоставление возможности обращаться по символическим адресам, таким, как ФАЙЛ, НОВХ, НАЧАЛО и другим мнемоническим именам, за которыми для программиста стоял вполне определенный смысл. [48]