Cтраница 2
Язык превосходно подходит для написания интерпретаторов и трансляторов как для него самого, так и для других языков. Например, ядро интерпретатора Лиспа, написанное на самом Лиспе, составляет пару страниц красивого кода. Примерно в том же объеме уместится и ядро интерпретатора Пролога. Как известно, наиболее короткий интерпретатор Пролога, написанный наЛиспезанимает несколько десятков строк. [16]
Язык превосходно подходит для написания интерпретаторов и трансляторов как для него самого, так и для других языков. Например, ядро интерпретатора Лиспа, написанное на самом Лиспе, составляет пару страниц красивого кода. Примерно в том же объеме уместится и ядро интерпретатора Пролога. Как известно, наиболее короткий интерпретатор Пролога, написанный наЛиспезанимает несколько десятков строк. [17]
Способ обхода дерева, используемый для отыскания всех деревьев опровержения цели, зависит от реализации и не определяется принципом резолюции. Большинство систем используют поиск сначала вглубь. Аналогично условия остановки являются также системно-зависимыми. Некоторые системы, такие, как интерпретаторы Пролога, не используют каких-либо условий остановки вообще. В таких системах отсутствуют гарантии полноты; вопросы полноты и завершения решаются программистом. [18]