Пролог (мова програмування): відмінності між версіями

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
BunykBot (обговорення | внесок)
м напівавтоматичне прибирання зайвих шаблонів про переклад
Рядок 703:
 
=== Апаратна реалізація ===
Під час розробки {{Не[[Комп'ютери перекладено|Комп’ютерп'ятого п’ятої генераціїпокоління|проекту комп’ютерних систем п’ятої генерації||Fifth generation computer}}]] були спроби реалізувати Пролог в апаратному вигляді з метою отримання швидшого виконання спеціальними архітектурами.<ref>
 
{{Cite book
Рядок 1147:
}} {{ref-en}}
 
</ref> Більшість сучасних розробок Прологу пішли від поштовху {{Не[[Комп'ютери перекладено|Комп’ютерп'ятого п’ятої генераціїпокоління|проекту комп’ютерних систем п’ятої генерації||Fifth generation computer}}]], в рамках якого було розроблено варіант Прологу під назвою {{Не перекладено|Kernel Language|||KL1}} для його першої [[Операційна система|операційної системи]].
 
Чисту Пролог було спочатку обмежено використанням системи доведення теорем з [[Диз'юнкт Горна|диз'юнктами Горна]] форми: