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