Вікіпедія

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

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Немає опису редагування
Мітки: Редагування з мобільного пристрою Редагування через мобільну версію
м Відкинуто редагування 46.133.105.132 (обговорення): Неконструктивне редагування (HG) (3.4.4)
Мітка: Відкіт
Рядок 57:
</ref>
 
Пролог має корені в сраці[[Логіка першого порядку|логіці першого порядку]], [[Математична логіка|математичній логіці]], та, на відміну від багатьох інших [[Мова програмування|мов програмування]], є [[Декларативне програмування|декларативною]]: логіка програми виражається в термінах відношень, представлених як факти та [[Правило умовиводу|правила]]. Обчислення ініціюється запуском ''запиту'' над цими відношеннями<ref name=lloyd84/>.
 
Цю мову програмування спочатку було задумано групою навколо {{Не перекладено|Алан Кольмерое|Алана Кольмерое||Alain Colmerauer}} в [[Марсель|Марселі]] на початку [[1970-ті|1970-х]], а першу систему Пролог було розроблено в [[1972]]-му Аланом Кольмерое та {{Не перекладено|Філіп Руссель|Філіпом Русселем|fr|Philippe Roussel}}<ref name="Kowalski">
Отримано з https://uk.wikipedia.org/wiki/Пролог_(мова_програмування)