Блог

Я пытаюсь запрограммировать WAM-реализацию Prolog на C. Я заметил, что типы данных Prolog описаны только в четырех типах токенов: REF, STR, CON и LIS.

Каждая ячейка в куче выполнения содержит тип токена и его позицию в куче.

Обратите внимание, что нет никакой ссылки на его фактическое имя (т.Е. Z, W). Разве куча не должна указывать на символ и его значение в таблице символов? Есть ли таблица символов в чистой реализации prolog? Мой анализатор создает таблицу символов или создает кучу? В учебной реализации WAM A ничего из этого не упоминается.

Думайте о WAM как о своего рода машинном коде — в машинном коде нет таблиц символов, хотя в исполняемом файле может быть отдельный раздел, предоставляющий информацию, которую отладчик или другие инструменты1 могут использовать для отображения значений по имени. Многие реализации Prolog также могут отображать имена локальных переменных, но это выходит за рамки WAM.

Конечно, локальная таблица символов используется при компиляции предложения в WAM, но она локальна для одного предложения, и в ней нет сложностей с областью видимости, которые вы видите в обычных языках программирования.

Рассмотрим следующее (используя SWI-Prolog):

 1 ?- [user].
|: foo(Char) --> [Char], {check(Char)}, bar(Char). 
|: 
% user://1 compiled 0.03 sec, 1 clauses
true.

2 ?- listing(foo).
foo(A, [A|B], C) :-
    check(A),
    D=B,
    bar(A, D, C).
  

Умная реализация может отображаться listing(foo) как:

 foo(Char, [Char|B], C) :-
    check(Char),
    bar(Char, B, C).
  

но внутренне это точно то же самое. У дополнительных переменных для расширения DCG никогда не было имен, поэтому им просто присваиваются произвольные имена, такие как B и C в списке.