Cтраница 5
Второе означает, что указатель на начало списка HeadOfList будет указывать на вновь созданный узел, который только что был добавлен в начало списка. [61]
Во время трансляции все ссылки на один и тот же атом должны транслироваться в один и тот же указатель, указывающий на начало списка свойств атома. Транслятор должен вести таблицу символов; каждый введенный атом разыскивается в этой таблице и из нее извлекается внутреннее представление атома - указатель. Эта таблица называется Ob-списком, она обычно организуется в виде хеш-таблицы с дополнительным пространством для разрешения коллизий. Поскольку списки с теми же атомами, которые содержатся в таблице, могут читаться извне во время выполнения программы, ОЬ-список нужно хранить в памяти постоянно. [62]