Я пытаюсь запрограммировать реализацию Пролога WAM в C. Я заметил, что типы данных Пролога описаны только в четырех типах токенов: REF, STR, CON и LIS. Каждая ячейка в куче выполнения содержит тип маркера и его положение в куче. Обратите...