Citation Hunt

Фрагмент із Вікіпедії нижче не підкріплений надійним джерелом. Чи можете Ви знайти таке?

Клацніть Є джерело!, аби перейти до Вікіпедії та виправити фрагмент, або Наступна!, щоб переглянути інший. Щасти!

На сторінці Пролог (мова програмування):

"

Для більшої ефективності код Прологу зазвичай компілюється в код абстрактної машини, що часто знаходиться під впливом набору інструкцій базованої на регістрах абстрактної машини Воррена.[1] Деякі реалізації вживають абстрактну інтерпретацію для встановлення інформації про тип та напрямок предикатів під час компіляції, або, для вищої продуктивності, компілюють у код реальної машини.[2] У спільноті логічного програмування придумування ефективних методів реалізації коду Прологу є полем активних досліджень, і в деяких реалізаціях застосовується багато інших методів виконання. Вони включають перетворення тверджень у двійкову форму та віртуальні машини, базовані на стеку.[джерело?]