Сканнер и транслятор

Чтобы уметь разумно использовать механизм вывода, как это подчерки-

валось в предыдущих разделах, нам потребуется снабдить его исходным кодом

в виде горючего.

Возможно вы помните, что мы договорились считать, что правила хра-

нятся в предикате базы данных называемом clause и имеющем два аргумента,

заголовок ит тело. Для преобразования их из текстовой формы мы мспользуем

сканнер, преобразующий исходный код в список символов и транслятор для

группирорвки и структурирования символов в статические термы, с которыми

они должны быть объединены.

Эти два фрагмента программы находятся в файлах PIE.SCA и PIE.PAR со-

ответственно, но пока мы им больше не будем уделять внимания. Их точный

код не особенно интересен, и они будут просто считаться инструментальными

средствами, с которыми вы можете познакомиться без особых усилий. Пример

их использования будет дан в следующем разделе, когда мы будем обсуждать

интерпретатор Пролога.

Транслятор несколько неожиданен в том смысле, что это транслятор

предшествования операторов. Это означает, что он будет объединять списки

символов получаемые от сканнера в термы в соответствии с действующими

соглашениями об операторах во время трансляции.